Christoph Zengler

Publication Activity (10 Years)

Years Active: 2010-2013
Publications (10 Years): 0

Top Topics

Automotive Industry

Ordering Heuristics

Constraint Propagation

Top Venues

Configuration Workshop

Publications

Rouven Walter, Christoph Zengler, Wolfgang Küchlin
Applications of MaxSAT in Automotive Configuration. Configuration Workshop (2013)
Christoph Zengler, Wolfgang Küchlin
Boolean Quantifier Elimination for Automotive Configuration - A Case Study. FMICS (2013)
Benjamin Matthes, Christoph Zengler, Wolfgang Küchlin
An Improved Constraint Ordering Heuristics for Compiling Configuration Problems. Configuration Workshop (2012)
Christoph Zengler, Wolfgang Küchlin
Boolean Gröbner bases in SAT solving. ACM Commun. Comput. Algebra 45 (1/2) (2011)
Christoph Zengler, Andreas Kübler, Wolfgang Küchlin
New approaches to boolean quantifier elimination. ACM Commun. Comput. Algebra 45 (1/2) (2011)
Christoph Zengler, Wolfgang Küchlin
Extending Clause Learning of SAT Solvers with Boolean Gröbner Bases. CASC (2010)
Thomas Sturm, Christoph Zengler
Parametric quantified SAT solving. ISSAC (2010)
Andreas Kübler, Christoph Zengler, Wolfgang Küchlin
Model Counting in Product Configuration LoCoCo (2010)