| 2008 |
|---|
| 4 | EE | Uwe Bubeck,
Hans Kleine Büning:
Models and quantifier elimination for quantified Horn formulas.
Discrete Applied Mathematics 156(10): 1606-1622 (2008) |
| 2007 |
|---|
| 3 | EE | Uwe Bubeck,
Hans Kleine Büning:
Bounded Universal Expansion for Preprocessing QBF.
SAT 2007: 244-257 |
| 2006 |
|---|
| 2 | EE | Uwe Bubeck,
Hans Kleine Büning:
Dependency Quantified Horn Formulas: Models and Complexity.
SAT 2006: 198-211 |
| 2005 |
|---|
| 1 | EE | Uwe Bubeck,
Hans Kleine Büning,
Xishun Zhao:
Quantifier Rewriting and Equivalence Models for Quantified Horn Formulas.
SAT 2005: 386-392 |
