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: Bubeck:Uwe
Contributed to:
2013201120102009200720062005Wrote 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.