( en | de | ru )

 

Disambiguation of "Egly, Uwe"

Author of the publication

copydeleteadd this publication to your clipboard
Implementing Default Reasoning Using Quantified Boolean Formulae.

, , , and . WLP, volume 90 of GMD Report, page 223-228. (2000)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Uwe Egly

Wilhelm Egly

Hartmut Egly

Werner Uwents

Hans-Joachim Egly

 

Other publications of authors with the same name

Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations., , , , , and . Formal Methods Syst. Des., 57 (2): 157-177 (2021)A Simple Proof for the Pigeonhole Formulae.. ECAI, page 70-71. John Wiley and Sons, (1992)A Sequent Calculus for Intuitionistic Default Logic., and . WLP, Ludwig Maximilians Universität München, (1997)QRATPre+: Effective QBF Preprocessing via Strong Redundancy Properties., and . SAT, volume 11628 of Lecture Notes in Computer Science, page 203-210. Springer, (2019)Normal Form Transformations., , and . Handbook of Automated Reasoning, Elsevier and MIT Press, (2001)Answer-set programming encodings for argumentation frameworks., , and . Argument Comput., 1 (2): 147-177 (2010)SAT and Interactions (Dagstuhl Seminar 20061)., , , and . Dagstuhl Reports, 10 (2): 1-18 (2020)Implementing Default Reasoning Using Quantified Boolean Formulae., , , and . WLP, volume 90 of GMD Report, page 223-228. (2000)A Solver for QBFs in Nonprenex Form: Overview and Experimental Results, , and . Proceedings of the Guangzhou Symposioum on Satisfiability in Logic-Based Modeling, (2006)Experimental Evaluation of the Disjunctive Logic Programming Module of the System QUIP., , , , and . WLP, volume 110 of GMD Report, page 113-122. (2000)