( en | de | ru )

 

Disambiguation of "Marques-Silva, João"

Author of the publication

copydeleteadd this publication to your clipboard
Algorithms for computing backbones of propositional formulae.

, , and . AI Commun., 28 (2): 161-177 (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.

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

Hybrid Incremental Algorithms for Boolean Satisfiability., and . Int. J. Artif. Intell. Tools, (2012)Report on the SAT 2007 Conference on Theory and Applications of Satisfiability Testing., , and . AI Magazine, 28 (4): 135-136 (2007)Restoring CSP Satisfiability with MaxSAT., and . Fundam. Informaticae, 107 (2-3): 249-266 (2011)Heuristic-Based Backtracking Relaxation for Propositional Satisfiability., , , and . J. Autom. Reason., 35 (1-3): 3-24 (2005)Automated Design Debugging With Maximum Satisfiability., , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 29 (11): 1804-1817 (2010)Abduction-Based Explanations for Machine Learning Models., , and . CoRR, (2018)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 Finding Minimum Satisfying Assignments., , and . CP, volume 9892 of Lecture Notes in Computer Science, page 287-297. Springer, (2016)Efficient Axiom Pinpointing with EL2MCS., , and . KI, volume 9324 of Lecture Notes in Computer Science, page 225-233. Springer, (2015)Haplotype Inference Using Propositional Satisfiability., , and . Mathematical Approaches to Polymer Sequence Analysis and Related Problems, Springer, (2011)