Uwe Bubeck

15 papers A 8Journal 4
YearRankTypeTitle / Venue / Authors
2021 — ch.
Theory of Quantified Boolean Formulas.
Handbook of Satisfiability
Hans Kleine Büning, Uwe Bubeck
2015 J jnl
Learning Boolean specifications.
Artif. Intell.
Uwe Bubeck, Hans Kleine Büning
2013 A conf
Nested Boolean Functions as Models for Quantified Boolean Formulas.
SAT
Uwe Bubeck, Hans Kleine Büning
2012 J jnl
Encoding Nested Boolean Functions as Quantified Boolean Formulas.
J. Satisf. Boolean Model. Comput.
Uwe Bubeck, Hans Kleine Büning
2011 A conf
Transformations into Normal Forms for Quantified Circuits.
SAT
Hans Kleine Büning, Xishun Zhao, Uwe Bubeck
2010 — —
Model-based transformations for quantified boolean formulas.
Uwe Bubeck
2010 A conf
Rewriting (Dependency-)Quantified 2-CNF with Arbitrary Free Literals into Existential 2-HORN.
SAT
Uwe Bubeck, Hans Kleine Büning
2010 A conf
The Seventh QBF Solvers Evaluation (QBFEVAL'10).
SAT
Claudia Peschiera, Luca Pulina, Armando Tacchella, Uwe Bubeck, Oliver Kullmann, Inês Lynce
2009 J jnl
A new 3-CNF transformation by parallel-serial graphs.
Inf. Process. Lett.
Uwe Bubeck, Hans Kleine Büning
2009 A conf
Resolution and Expressiveness of Subclasses of Quantified Boolean Formulas and Circuits.
SAT
Hans Kleine Büning, Xishun Zhao, Uwe Bubeck
2009 — ch.
Theory of Quantified Boolean Formulas.
Handbook of Satisfiability
Hans Kleine Büning, Uwe Bubeck
2008 J jnl
Models and quantifier elimination for quantified Horn formulas.
Discret. Appl. Math.
Uwe Bubeck, Hans Kleine Büning
2007 A conf
Bounded Universal Expansion for Preprocessing QBF.
SAT
Uwe Bubeck, Hans Kleine Büning
2006 A conf
Dependency Quantified Horn Formulas: Models and Complexity.
SAT
Uwe Bubeck, Hans Kleine Büning
2005 A conf
Quantifier Rewriting and Equivalence Models for Quantified Horn Formulas.
SAT
Uwe Bubeck, Hans Kleine Büning, Xishun Zhao