( en | de | ru )

 

Disambiguation of "Marques-Silva, João"

Author of the publication

copydeleteadd this publication to your clipboard
On Computing Minimal Equivalent Subformulas.

, , , and . CP, volume 7514 of Lecture Notes in Computer Science, page 158-174. Springer, (2012)

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

Report on the SAT 2007 Conference on Theory and Applications of Satisfiability Testing., , and . AI Magazine, 28 (4): 135-136 (2007)Heuristic-Based Backtracking Relaxation for Propositional Satisfiability., , , and . J. Autom. Reason., 35 (1-3): 3-24 (2005)Restoring CSP Satisfiability with MaxSAT., and . Fundam. Informaticae, 107 (2-3): 249-266 (2011)Automated Design Debugging With Maximum Satisfiability., , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 29 (11): 1804-1817 (2010)On Finding Minimum Satisfying Assignments., , and . CP, volume 9892 of Lecture Notes in Computer Science, page 287-297. Springer, (2016)Haplotype Inference Using Propositional Satisfiability., , and . Mathematical Approaches to Polymer Sequence Analysis and Related Problems, Springer, (2011)Efficient and Accurate Haplotype Inference by Combining Parsimony and Pedigree Information., , , and . ANB, volume 6479 of Lecture Notes in Computer Science, page 38-56. Springer, (2010)On Computing Backbones of Propositional Theories., , and . ECAI, volume 215 of Frontiers in Artificial Intelligence and Applications, page 15-20. IOS Press, (2010)Towards More Effective Unsatisfiability-Based Maximum Satisfiability Algorithms., and . SAT, volume 4996 of Lecture Notes in Computer Science, page 225-230. Springer, (2008)Efficient Axiom Pinpointing with EL2MCS., , and . KI, volume 9324 of Lecture Notes in Computer Science, page 225-233. Springer, (2015)