- CSB - MetaPress - Google - Bing - Yahoo
 | 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 |
| 1 | Hans Kleine Büning | [1] [2] [3] [4] [5] [6] [7] |
| 2 | Xishun Zhao | [1] [7] |