( en | de | ru )

 

Disambiguation of "Manquinho, Vasco M."

Author of the publication

copydeleteadd this publication to your clipboard
Exploiting Resolution-Based Representations for MaxSAT Solving.

, , , , and . SAT, volume 9340 of Lecture Notes in Computer Science, page 272-286. Springer, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Vasco Souza

Vasco Reuss

Cristian Vasco

Sergio Sezino Douets Vasconcelos

Ana Cátia Proença Vasconcelos

 

Other publications of authors with the same name

Search pruning techniques in SAT-based branch-and-bound algorithmsfor the binate covering problem., and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 21 (5): 505-516 (2002)Computing the Summed Adjacency Disruption Number between Two Genomes with Duplicate Genes Using Pseudo-Boolean Optimization., , and . RECOMB-CG, volume 5817 of Lecture Notes in Computer Science, page 138-149. Springer, (2009)Concurrency Debugging with MaxSMT., , , and . AAAI, page 1608-1616. AAAI Press, (2019)MultIPAs: applying program transformations to introductory programming assignments for data augmentation., , and . ESEC/SIGSOFT FSE, page 1657-1661. ACM, (2022)Improving Search Space Splitting for Parallel SAT Solving., , and . ICTAI (1), page 336-343. IEEE Computer Society, (2010)On the Quest for an Acyclic Graph., , and . RCRA@AI*IA, volume 2011 of CEUR Workshop Proceedings, page 33-44. CEUR-WS.org, (2017)Effective Lower Bounding Techniques for Pseudo-Boolean Optimization., and . DATE, page 660-665. IEEE Computer Society, (2005)Counting Models in Integer Domains., , , and . SAT, volume 4121 of Lecture Notes in Computer Science, page 410-423. Springer, (2006)Stratification for Constraint-Based Multi-Objective Combinatorial Optimization., , and . IJCAI, page 1376-1382. ijcai.org, (2018)Graph Neural Networks for Mapping Variables Between Programs., , , and . ECAI, volume 372 of Frontiers in Artificial Intelligence and Applications, page 1811-1818. IOS Press, (2023)