Uwe Bubeck
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
1
Active years
2005–2013
Best venue rank
A
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | SAT | Nested Boolean Functions as Models for Quantified Boolean Formulas. | Uwe Bubeck, Hans Kleine Bning |
| 2011 | SAT | Transformations into Normal Forms for Quantified Circuits. | Hans Kleine Bning, Xishun Zhao, Uwe Bubeck |
| 2010 | SAT | Rewriting (Dependency-)Quantified 2-CNF with Arbitrary Free Literals into Existential 2-HORN. | Uwe Bubeck, Hans Kleine Bning |
| 2010 | SAT | The Seventh QBF Solvers Evaluation (QBFEVAL'10). | Claudia Peschiera, Luca Pulina, Armando Tacchella, Uwe Bubeck, Oliver Kullmann, Ins Lynce |
| 2009 | SAT | Resolution and Expressiveness of Subclasses of Quantified Boolean Formulas and Circuits. | Hans Kleine Bning, Xishun Zhao, Uwe Bubeck |
| 2007 | SAT | Bounded Universal Expansion for Preprocessing QBF. | Uwe Bubeck, Hans Kleine Bning |
| 2006 | SAT | Dependency Quantified Horn Formulas: Models and Complexity. | Uwe Bubeck, Hans Kleine Bning |
| 2005 | SAT | Quantifier Rewriting and Equivalence Models for Quantified Horn Formulas. | Uwe Bubeck, Hans Kleine Bning, Xishun Zhao |