Uwe Bubeck

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Encoding nested Boolean functions as quantified Boolean formulas Journal of Satisfiability, Boolean Modeling and Computation	2016-02-23	Paper
Learning Boolean specifications Artificial Intelligence	2015-12-22	Paper
Nested Boolean functions as models for quantified Boolean formulas Theory and Applications of Satisfiability Testing – SAT 2013	2013-08-05	Paper
Transformations into normal forms for quantified circuits Theory and Applications of Satisfiability Testing - SAT 2011	2011-06-17	Paper
The seventh QBF solvers evaluation (QBFEVAL'10) Theory and Applications of Satisfiability Testing – SAT 2010	2010-09-29	Paper
Rewriting (dependency-)quantified 2-CNF with arbitrary free literals into existential 2-HORN Theory and Applications of Satisfiability Testing – SAT 2010	2010-09-29	Paper
A new 3-CNF transformation by parallel-serial graphs Information Processing Letters	2010-06-16	Paper
scientific article; zbMATH DE number 5719280 (Why is no real title available?)	2010-06-10	Paper
Resolution and Expressiveness of Subclasses of Quantified Boolean Formulas and Circuits Lecture Notes in Computer Science	2009-07-07	Paper
Bounded Universal Expansion for Preprocessing QBF Theory and Applications of Satisfiability Testing – SAT 2007	2009-03-10	Paper
Models and quantifier elimination for quantified Horn formulas Discrete Applied Mathematics	2008-09-10	Paper
Dependency Quantified Horn Formulas: Models and Complexity Lecture Notes in Computer Science	2007-09-04	Paper
Theory and Applications of Satisfiability Testing Lecture Notes in Computer Science	2005-12-15	Paper

Research outcomes over time

This page was built for person: Uwe Bubeck