 | 2012 |
|---|
| 12 |       | Uwe Bubeck,
Hans Kleine Büning:
Encoding Nested Boolean Functions as Quantified Boolean Formulas.
JSAT 8(1/2): 101-116 (2012) |
| 2011 |
|---|
| 11 | | Hans Kleine Büning,
Xishun Zhao,
Uwe Bubeck:
Transformations into Normal Forms for Quantified Circuits.
SAT 2011: 245-258 |
| 2010 |
|---|
| 10 | | Claudia Peschiera,
Luca Pulina,
Armando Tacchella,
Uwe Bubeck,
Oliver Kullmann,
Inês Lynce:
The Seventh QBF Solvers Evaluation (QBFEVAL'10).
SAT 2010: 237-250 |
| 9 | | Uwe Bubeck,
Hans Kleine Büning:
Rewriting (Dependency-)Quantified 2-CNF with Arbitrary Free Literals into Existential 2-HORN.
SAT 2010: 58-70 |
| 8 |  | Uwe Bubeck:
Model-based transformations for quantified boolean formulas.
University of Paderborn 2010: 1-211 |
| 2009 |
|---|
| 7 | | Hans Kleine Büning,
Xishun Zhao,
Uwe Bubeck:
Resolution and Expressiveness of Subclasses of Quantified Boolean Formulas and Circuits.
SAT 2009: 391-397 |
| 6 | | Hans Kleine Büning,
Uwe Bubeck:
Theory of Quantified Boolean Formulas.
Handbook of Satisfiability 2009: 735-760 |
| 5 | | Uwe Bubeck,
Hans Kleine Büning:
A new 3-CNF transformation by parallel-serial graphs.
Inf. Process. Lett. 109(7): 376-379 (2009) |
| 2008 |
|---|
| 4 | | Uwe Bubeck,
Hans Kleine Büning:
Models and quantifier elimination for quantified Horn formulas.
Discrete Applied Mathematics 156(10): 1606-1622 (2008) |
| 2007 |
|---|
| 3 | | Uwe Bubeck,
Hans Kleine Büning:
Bounded Universal Expansion for Preprocessing QBF.
SAT 2007: 244-257 |
| 2006 |
|---|
| 2 | | Uwe Bubeck,
Hans Kleine Büning:
Dependency Quantified Horn Formulas: Models and Complexity.
SAT 2006: 198-211 |
| 2005 |
|---|
| 1 | | Uwe Bubeck,
Hans Kleine Büning,
Xishun Zhao:
Quantifier Rewriting and Equivalence Models for Quantified Horn Formulas.
SAT 2005: 386-392 |
Data released under the ODC-BY 1.0 license — See also our legal information page