Uwe Egly

From MaRDI portal
Person:229734

Available identifiers

zbMath Open egly.uweMaRDI QIDQ229734

List of research outcomes





PublicationDate of PublicationType
Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations2021-12-08Paper
QRATPre+: effective QBF preprocessing via strong redundancy properties2020-05-20Paper
KoMeT2020-01-21Paper
Some pitfalls of LK-to-LJ translations and how to avoid them2019-10-01Paper
On the practical value of different definitional translations to normal form2019-01-15Paper
Non-elementary speed-ups in proof length by different variants of classical analytic calculi2019-01-15Paper
Lean induction principles for tableaux2019-01-15Paper
\({\textsf{QRAT}}^{+}\): generalizing QRAT by a more powerful QBF redundancy property2018-10-18Paper
DepQBF 6.0: a search-based QBF solver beyond traditional QCDCL2017-09-22Paper
Conformant planning as a case study of incremental QBF solving2017-08-15Paper
On Stronger Calculi for QBFs2016-09-05Paper
Q-Resolution with Generalized Axioms2016-09-05Paper
Automated Benchmarking of Incremental SAT and QBF Solvers2016-01-12Paper
Enhancing Search-Based QBF Solving by Dynamic Blocked Clause Elimination2016-01-12Paper
Incrementally Computing Minimal Unsatisfiable Cores of QBFs via a Clause Group Solver API2015-11-20Paper
Complexity Classifications for Logic-Based Argumentation2015-09-17Paper
Exact location of the phase transition for random (1,2)-QSAT2015-04-15Paper
Incremental QBF Solving by DepQBF2014-09-08Paper
Long-Distance Resolution: Proof Generation and Strategy Extraction in Search-Based QBF Solving2014-01-17Paper
On Sequent Systems and Resolution for QBFs2013-08-12Paper
Efficient Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation2013-08-05Paper
Answer-set programming encodings for argumentation frameworks2011-11-23Paper
Theory and Applications of Satisfiability Testing2009-07-24Paper
A solver for QBFs in negation normal form2009-05-29Paper
https://portal.mardi4nfdi.de/entity/Q36240652009-04-28Paper
Proof-complexity results for nonmonotonic reasoning2008-12-21Paper
New Results on the Phase Transition for Random Quantified Boolean Formulas2008-05-27Paper
On deciding subsumption problems2005-05-13Paper
https://portal.mardi4nfdi.de/entity/Q48090442004-08-12Paper
On different proof-search strategies for orthologic2003-04-27Paper
Practically useful variants of definitional translations to normal form2003-01-14Paper
https://portal.mardi4nfdi.de/entity/Q45304612002-11-13Paper
Normal form transformations2002-08-27Paper
https://portal.mardi4nfdi.de/entity/Q45396412002-07-10Paper
On different intuitionistic calculi and embeddings from Int to S42002-06-13Paper
https://portal.mardi4nfdi.de/entity/Q45247852001-07-29Paper
https://portal.mardi4nfdi.de/entity/Q45247792001-07-03Paper
https://portal.mardi4nfdi.de/entity/Q27211972001-07-01Paper
https://portal.mardi4nfdi.de/entity/Q49341412000-01-17Paper
https://portal.mardi4nfdi.de/entity/Q42637911999-09-22Paper
https://portal.mardi4nfdi.de/entity/Q42555081999-08-16Paper
https://portal.mardi4nfdi.de/entity/Q42230271999-01-10Paper
https://portal.mardi4nfdi.de/entity/Q38388091999-01-05Paper
https://portal.mardi4nfdi.de/entity/Q42179531998-11-11Paper
An answer to an open problem of Urquhart1998-08-13Paper
https://portal.mardi4nfdi.de/entity/Q43645111997-11-17Paper
https://portal.mardi4nfdi.de/entity/Q31261651997-09-29Paper
On different structure-preserving translations to normal form1997-03-06Paper
https://portal.mardi4nfdi.de/entity/Q42825091994-03-17Paper
https://portal.mardi4nfdi.de/entity/Q42826031994-03-17Paper

Research outcomes over time

This page was built for person: Uwe Egly