( en | de | ru )

 

Disambiguierung von "Marques-Silva, João"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On Finding Minimum Satisfying Assignments.

, , und . CP, Volume 9892 von Lecture Notes in Computer Science, Seite 287-297. Springer, (2016)

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

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)Read-Once Resolution for Unsatisfiability-Based Max-SAT Algorithms., und . IJCAI, Seite 572-577. IJCAI/AAAI, (2011)Towards More Effective Unsatisfiability-Based Maximum Satisfiability Algorithms., und . SAT, Volume 4996 von Lecture Notes in Computer Science, Seite 225-230. Springer, (2008)A Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability Problems., , , und . CPAIOR, Volume 8451 von Lecture Notes in Computer Science, Seite 368-376. Springer, (2014)Efficient Axiom Pinpointing with EL2MCS., , und . KI, Volume 9324 von Lecture Notes in Computer Science, Seite 225-233. Springer, (2015)SAT-Based Formula Simplification., , und . SAT, Volume 9340 von Lecture Notes in Computer Science, Seite 287-298. Springer, (2015)