( en | de | ru )

 

Disambiguation of "Marques-Silva, João"

Author of the publication

copydeleteadd this publication to your clipboard
Parallel MUS Extraction.

, , and . SAT, volume 7962 of Lecture Notes in Computer Science, page 133-149. Springer, (2013)

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.

João Silva Ferraz

Gil dos Santos Guerreiro João

João Afonso Silva Palla Carreiro

João Barros

João Fonseca

 

Other publications of authors with the same name

On Using Unsatisfiability for Solving Maximum Satisfiability, and . CoRR, (2007)Solving QBF with Free Variables., , , and . CP, volume 8124 of Lecture Notes in Computer Science, page 415-431. Springer, (2013)Smallest MUS Extraction with Minimal Hitting Set Dualization., , , and . CP, volume 9255 of Lecture Notes in Computer Science, page 173-182. Springer, (2015)On Computing Minimal Equivalent Subformulas., , , and . CP, volume 7514 of Lecture Notes in Computer Science, page 158-174. Springer, (2012)Knowledge Compilation with Empowerment., and . SOFSEM, volume 7147 of Lecture Notes in Computer Science, page 612-624. Springer, (2012)Solving QBF with Counterexample Guided Refinement., , , and . SAT, volume 7317 of Lecture Notes in Computer Science, page 114-128. Springer, (2012)On Computing Preferred MUSes and MCSes., and . SAT, volume 8561 of Lecture Notes in Computer Science, page 58-74. Springer, (2014)Backtracking., , and . Wiley Encyclopedia of Computer Science and Engineering, John Wiley & Sons, Inc., (2008)Model Checking Event-B by Encoding into Alloy., and . ABZ, volume 5238 of Lecture Notes in Computer Science, page 346. Springer, (2008)Algorithms for computing backbones of propositional formulae., , and . AI Commun., 28 (2): 161-177 (2015)