Uwe Bubeck

According to our database, Uwe Bubeck authored at least 15 papers between 2005 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Theory of Quantified Boolean Formulas.

Hans Kleine Büning, Uwe Bubeck

Proceedings of the Handbook of Satisfiability - Second Edition, 2021

2015

Learning Boolean specifications.

Uwe Bubeck, Hans Kleine Büning

Artif. Intell., 2015

2013

Nested Boolean Functions as Models for Quantified Boolean Formulas.

Uwe Bubeck, Hans Kleine Büning

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2013, 2013

2012

Encoding Nested Boolean Functions as Quantified Boolean Formulas.

Uwe Bubeck, Hans Kleine Büning

J. Satisf. Boolean Model. Comput., 2012

2011

Transformations into Normal Forms for Quantified Circuits.

Hans Kleine Büning, Xishun Zhao, Uwe Bubeck

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2011, 2011

2010

Model-based transformations for quantified boolean formulas.

Uwe Bubeck

PhD thesis, 2010

The Seventh QBF Solvers Evaluation (QBFEVAL'10).

Claudia Peschiera, Luca Pulina, Armando Tacchella, Uwe Bubeck, Oliver Kullmann, Inês Lynce

Proceedings of the Theory and Applications of Satisfiability Testing, 2010

Rewriting (Dependency-)Quantified 2-CNF with Arbitrary Free Literals into Existential 2-HORN.

Uwe Bubeck, Hans Kleine Büning

Proceedings of the Theory and Applications of Satisfiability Testing, 2010

2009

Theory of Quantified Boolean Formulas.

Hans Kleine Büning, Uwe Bubeck

Proceedings of the Handbook of Satisfiability, 2009

A new 3-CNF transformation by parallel-serial graphs.

Uwe Bubeck, Hans Kleine Büning

Inf. Process. Lett., 2009

Resolution and Expressiveness of Subclasses of Quantified Boolean Formulas and Circuits.

Hans Kleine Büning, Xishun Zhao, Uwe Bubeck

Proceedings of the Theory and Applications of Satisfiability Testing, 2009

2008

Models and quantifier elimination for quantified Horn formulas.

Uwe Bubeck, Hans Kleine Büning

Discret. Appl. Math., 2008

2007

Bounded Universal Expansion for Preprocessing QBF.

Uwe Bubeck, Hans Kleine Büning

Proceedings of the Theory and Applications of Satisfiability Testing, 2007

2006

Dependency Quantified Horn Formulas: Models and Complexity.

Uwe Bubeck, Hans Kleine Büning

Proceedings of the Theory and Applications of Satisfiability Testing, 2006

2005

Quantifier Rewriting and Equivalence Models for Quantified Horn Formulas.

Uwe Bubeck, Hans Kleine Büning, Xishun Zhao

Proceedings of the Theory and Applications of Satisfiability Testing, 2005