| |
| 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 |
| 1 | Hans Kleine Büning | [1] [2] [3] [4] |
| 2 | Xishun Zhao | [1] |