Uwe Bubeck

Available identifiers

zbMath Open bubeck.uweMaRDI QIDQ944708

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q2786912	2016-02-23	Paper
Learning Boolean specifications	2015-12-22	Paper
Nested Boolean Functions as Models for Quantified Boolean Formulas	2013-08-05	Paper
Transformations into Normal Forms for Quantified Circuits	2011-06-17	Paper
Rewriting (Dependency-)Quantified 2-CNF with Arbitrary Free Literals into Existential 2-HORN	2010-09-29	Paper
The Seventh QBF Solvers Evaluation (QBFEVAL’10)	2010-09-29	Paper
A new 3-CNF transformation by parallel-serial graphs	2010-06-16	Paper
https://portal.mardi4nfdi.de/entity/Q3566747	2010-06-10	Paper
Resolution and Expressiveness of Subclasses of Quantified Boolean Formulas and Circuits	2009-07-07	Paper
Bounded Universal Expansion for Preprocessing QBF	2009-03-10	Paper
Models and quantifier elimination for quantified Horn formulas	2008-09-10	Paper
Dependency Quantified Horn Formulas: Models and Complexity	2007-09-04	Paper
Theory and Applications of Satisfiability Testing	2005-12-15	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Uwe Bubeck