( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
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

On Using Unsatisfiability for Solving Maximum Satisfiability, und . CoRR, (2007)Solving QBF with Free Variables., , , und . CP, Volume 8124 von Lecture Notes in Computer Science, Seite 415-431. Springer, (2013)Smallest MUS Extraction with Minimal Hitting Set Dualization., , , und . CP, Volume 9255 von Lecture Notes in Computer Science, Seite 173-182. Springer, (2015)On Computing Minimal Equivalent Subformulas., , , und . CP, Volume 7514 von Lecture Notes in Computer Science, Seite 158-174. Springer, (2012)Knowledge Compilation with Empowerment., und . SOFSEM, Volume 7147 von Lecture Notes in Computer Science, Seite 612-624. Springer, (2012)Solving QBF with Counterexample Guided Refinement., , , und . SAT, Volume 7317 von Lecture Notes in Computer Science, Seite 114-128. Springer, (2012)On Computing Preferred MUSes and MCSes., und . SAT, Volume 8561 von Lecture Notes in Computer Science, Seite 58-74. Springer, (2014)Backtracking., , und . Wiley Encyclopedia of Computer Science and Engineering, John Wiley & Sons, Inc., (2008)Model Checking Event-B by Encoding into Alloy., und . ABZ, Volume 5238 von Lecture Notes in Computer Science, Seite 346. Springer, (2008)Algorithms for computing backbones of propositional formulae., , und . AI Commun., 28 (2): 161-177 (2015)