Quantifier Rewriting and Equivalence Models for Quantified Horn Formulas. - Uwe Bubeck; Hans Kleine Büning; Xishun Zhao (SAT, 2005)

Dependency Quantified Horn Formulas: Models and Complexity. - Uwe Bubeck; Hans Kleine Büning (SAT, 2006)

Bounded Universal Expansion for Preprocessing QBF. - Uwe Bubeck; Hans Kleine Büning (SAT, 2007)

Models and quantifier elimination for quantified Horn formulas. - Uwe Bubeck; Hans Kleine Büning (Discret. Appl. Math., 2008)

Resolution and Expressiveness of Subclasses of Quantified Boolean Formulas and Circuits. - Hans Kleine Büning; Xishun Zhao; Uwe Bubeck (SAT, 2009)

A new 3-CNF transformation by parallel-serial graphs. - Uwe Bubeck; Hans Kleine Büning (Inf. Process. Lett., 2009)

Theory of Quantified Boolean Formulas. - Hans Kleine Büning; Uwe Bubeck (Handbook of Satisfiability, 2009)

Rewriting (Dependency-)Quantified 2-CNF with Arbitrary Free Literals into Existential 2-HORN. - Uwe Bubeck; Hans Kleine Büning (SAT, 2010)

The Seventh QBF Solvers Evaluation (QBFEVAL'10). - Claudia Peschiera; Luca Pulina; Armando Tacchella; Uwe Bubeck; Oliver Kullmann; Inês Lynce (SAT, 2010)

Model-based transformations for quantified boolean formulas. - Uwe Bubeck (IOS Press, 2010)

Transformations into Normal Forms for Quantified Circuits. - Hans Kleine Büning; Xishun Zhao; Uwe Bubeck (SAT, 2011)

Encoding Nested Boolean Functions as Quantified Boolean Formulas. - Uwe Bubeck; Hans Kleine Büning (J. Satisf. Boolean Model. Comput., 2012)

Nested Boolean Functions as Models for Quantified Boolean Formulas. - Uwe Bubeck; Hans Kleine Büning (SAT, 2013)

Learning Boolean specifications. - Uwe Bubeck; Hans Kleine Büning (Artif. Intell., 2015)

Theory of Quantified Boolean Formulas. - Hans Kleine Büning; Uwe Bubeck (Handbook of Satisfiability, 2021)