( en | de | ru )

 

Disambiguierung von "Marques-Silva, João"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Quantified Maximum Satisfiability: - A Core-Guided Approach.

, , und . SAT, Volume 7962 von Lecture Notes in Computer Science, Seite 250-266. 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

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