( en | de | ru )

 

Disambiguierung von "Marques-Silva, João"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Parallel MUS Extraction.

, , und . SAT, Volume 7962 von Lecture Notes in Computer Science, Seite 133-149. Springer, (2013)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

João Silva Ferraz

Gil dos Santos Guerreiro João

João Afonso Silva Palla Carreiro

João Barros

João Fonseca

 

Weitere Publikationen von Autoren mit dem selben Namen

Heuristic-Based Backtracking Relaxation for Propositional Satisfiability., , , und . J. Autom. Reason., 35 (1-3): 3-24 (2005)Restoring CSP Satisfiability with MaxSAT., und . Fundam. Informaticae, 107 (2-3): 249-266 (2011)Automated Design Debugging With Maximum Satisfiability., , , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 29 (11): 1804-1817 (2010)Expansion-based QBF solving versus Q-resolution., und . Theor. Comput. Sci., (2015)On the Query Complexity of Selecting Few Minimal Sets., und . Electron. Colloquium Comput. Complex., (2014)Abduction-Based Explanations for Machine Learning Models., , und . CoRR, (2018)On Finding Minimum Satisfying Assignments., , und . CP, Volume 9892 von Lecture Notes in Computer Science, Seite 287-297. Springer, (2016)Haplotype Inference Using Propositional Satisfiability., , und . Mathematical Approaches to Polymer Sequence Analysis and Related Problems, Springer, (2011)Efficient and Accurate Haplotype Inference by Combining Parsimony and Pedigree Information., , , und . ANB, Volume 6479 von Lecture Notes in Computer Science, Seite 38-56. Springer, (2010)On Computing Backbones of Propositional Theories., , und . ECAI, Volume 215 von Frontiers in Artificial Intelligence and Applications, Seite 15-20. IOS Press, (2010)