Uwe Egly

Identifiers

• name variant Uwe Egly 0.60 · backfill

Papers (16)

1. QRATPre+: Effective QBF Preprocessing via Strong Redundancy Properties cs.LO · 2019 · author #2
2. Expansion-Based QBF Solving Without Recursion cs.LO · 2018 · author #4
3. QRAT+: Generalizing QRAT by a More Powerful QBF Redundancy Property cs.LO · 2018 · author #2
4. DepQBF 6.0: A Search-Based QBF Solver Beyond Traditional QCDCL cs.LO · 2017 · author #2
5. Evaluating QBF Solvers: Quantifier Alternations Matter cs.LO · 2017 · author #2
6. On Stronger Calculi for QBFs cs.LO · 2016 · author #1
7. Satisfiability-Based Methods for Reactive Synthesis from Safety Specifications cs.LO · 2016 · author #2
8. Q-Resolution with Generalized Axioms cs.LO · 2016 · author #2
9. Automated Benchmarking of Incremental SAT and QBF Solvers cs.LO · 2015 · author #1
10. Incrementally Computing Minimal Unsatisfiable Cores of QBFs via a Clause Group Solver API cs.LO · 2015 · author #2
11. SAT-Based Methods for Circuit Synthesis cs.LO · 2014 · author #2
12. Conformant Planning as a Case Study of Incremental QBF Solving cs.LO · 2014 · author #1
13. Incremental QBF Solving cs.LO · 2014 · author #2
14. Complexity Classifications for logic-based Argumentation cs.CC · 2013 · author #2
15. The threshold for random (1,2)-QSAT cs.DM · 2009 · author #3
16. QUIP - A Tool for Computing Nonmonotonic Reasoning Tasks cs.AI · 2000 · author #1

Mentions

• 0907.0937 #3 · backfill · confidence 0.70 Uwe Egly

Frequent Coauthors

• Florian Lonsing 12 shared papers
• Martina Seidl 3 shared papers
• Roderick Bloem 3 shared papers
• Nadia Creignou 2 shared papers
• Patrick Klampfl 2 shared papers
• Andreas Pfandler 1 shared papers
• Hans Tompits 1 shared papers
• Herve Daude 1 shared papers
• Johannes Oetsch 1 shared papers
• Johannes Schmidt 1 shared papers
• Martin Kronegger 1 shared papers
• Nicolas Braud-Santoni 1 shared papers
• Raphael Rossignol 1 shared papers
• Robert Koenighofer 1 shared papers
• Robert K\"onighofer 1 shared papers
• Stefan Woltran 1 shared papers
• Thomas Eiter 1 shared papers
• Vedad Hadzic 1 shared papers