( en | de | ru )

 

Disambiguierung von "Egly, Uwe"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations.

, , , , , und . Formal Methods Syst. Des., 57 (2): 157-177 (2021)

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.

Uwe Egly

Wilhelm Egly

Hartmut Egly

Werner Uwents

Hans-Joachim Egly

 

Weitere Publikationen von Autoren mit dem selben Namen

Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations., , , , , und . Formal Methods Syst. Des., 57 (2): 157-177 (2021)QRATPre+: Effective QBF Preprocessing via Strong Redundancy Properties., und . SAT, Volume 11628 von Lecture Notes in Computer Science, Seite 203-210. Springer, (2019)A Sequent Calculus for Intuitionistic Default Logic., und . WLP, Ludwig Maximilians Universität München, (1997)A Simple Proof for the Pigeonhole Formulae.. ECAI, Seite 70-71. John Wiley and Sons, (1992)Experimental Evaluation of the Disjunctive Logic Programming Module of the System QUIP., , , , und . WLP, Volume 110 von GMD Report, Seite 113-122. (2000)Implementations for Shor's algorithm for the DLP., und . GI-Jahrestagung, Volume P-326 von LNI, Seite 1133-1143. Gesellschaft für Informatik, Bonn, (2022)A Solver for QBFs in Nonprenex Form: Overview and Experimental Results, , und . Proceedings of the Guangzhou Symposioum on Satisfiability in Logic-Based Modeling, (2006)Implementing Default Reasoning Using Quantified Boolean Formulae., , , und . WLP, Volume 90 von GMD Report, Seite 223-228. (2000)Answer-set programming encodings for argumentation frameworks., , und . Argument Comput., 1 (2): 147-177 (2010)