( en | de | ru )

 

Disambiguierung von "Janota, Mikolás"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Solving QBF with Counterexample Guided Refinement.

, , , und . SAT, Volume 7317 von Lecture Notes in Computer Science, Seite 114-128. Springer, (2012)

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.

Ji Janota

Johannes Janota

Gertrude Janota

 

Weitere Publikationen von Autoren mit dem selben Namen

Towards efficient optimization in package management systems., , und . ICSE, Seite 745-755. ACM, (2014)Algorithms for finding dispensable variables, , und . CoRR, (2009)Minimal sets on propositional formulae. Problems and reductions., , und . Artif. Intell., (2017)On the query complexity of selecting minimal sets for monotone predicates., und . Artif. Intell., (2016)On Incremental Core-Guided MaxSAT Solving., , , , , und . CP, Volume 9892 von Lecture Notes in Computer Science, Seite 473-482. Springer, (2016)PackUp: Tools for Package Upgradability Solving., , , und . J. Satisf. Boolean Model. Comput., 8 (1/2): 89-94 (2012)New Resolution-Based QBF Calculi and Their Proof Complexity., , und . ACM Trans. Comput. Theory, 11 (4): 26:1-26:42 (2019)Quantified Boolean Formulas., , , und . Handbook of Satisfiability, Volume 336 von Frontiers in Artificial Intelligence and Applications, IOS Press, (2021)A Design of a Configurable Feature Model Configurator., , und . VaMoS, Volume 29 von ICB Research Report, Seite 165-168. Universität Duisburg-Essen, (2009)CLOPS: A DSL for Command Line Options., , , , , , und . DSL, Volume 5658 von Lecture Notes in Computer Science, Seite 187-210. Springer, (2009)