Recommended Item: Uma abordagem de otimização guiada por contraexemplos usando solucionadores SAT e SMT

To recommend this item to someone, complete the form below. Fields marked with a '*' are required.