BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Finland
1 × Portugal
2 × USA
3 × United Kingdom
Collaborated with:
H.K.Büning X.Zhao C.Peschiera L.Pulina A.Tacchella O.Kullmann I.Lynce
Talks about:
quantifi (7) formula (4) boolean (3) model (3) horn (3) circuit (2) rewrit (2) depend (2) qbf (2) preprocess (1)

Person: Uwe Bubeck

DBLP DBLP: Bubeck:Uwe

Contributed to:

SAT 20132013
SAT 20112011
SAT 20102010
SAT 20092009
SAT 20072007
SAT 20062006
SAT 20052005

Wrote 8 papers:

SAT-2013-BubeckB #modelling #quantifier
Nested Boolean Functions as Models for Quantified Boolean Formulas (UB, HKB), pp. 267–275.
SAT-2011-BuningZB #normalisation #quantifier
Transformations into Normal Forms for Quantified Circuits (HKB, XZ, UB), pp. 245–258.
SAT-2010-BubeckB #quantifier
Rewriting (Dependency-)Quantified 2-CNF with Arbitrary Free Literals into Existential 2-HORN (UB, HKB), pp. 58–70.
SAT-2010-PeschieraPTBKL #evaluation
The Seventh QBF Solvers Evaluation (QBFEVAL’10) (CP, LP, AT, UB, OK, IL), pp. 237–250.
SAT-2009-BuningZB #quantifier #subclass
Resolution and Expressiveness of Subclasses of Quantified Boolean Formulas and Circuits (HKB, XZ, UB), pp. 391–397.
SAT-2007-BubeckB #bound #preprocessor
Bounded Universal Expansion for Preprocessing QBF (UB, HKB), pp. 244–257.
SAT-2006-BubeckB #complexity #dependence #modelling #quantifier
Dependency Quantified Horn Formulas: Models and Complexity (UB, HKB), pp. 198–211.
SAT-2005-BubeckBZ #equivalence #modelling #quantifier
Quantifier Rewriting and Equivalence Models for Quantified Horn Formulas (UB, HKB, XZ), pp. 386–392.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.