Extending Clause Learning of SAT Solvers with Boolean Gröbner Bases. - Christoph Zengler; Wolfgang Küchlin (CASC, 2010)

Parametric quantified SAT solving. - Thomas Sturm 001; Christoph Zengler (ISSAC, 2010)

Model Counting in Product Configuration - Andreas Kübler; Christoph Zengler; Wolfgang Küchlin (LoCoCo, 2010)

Boolean Gröbner bases in SAT solving. - Christoph Zengler; Wolfgang Küchlin (ACM Commun. Comput. Algebra, 2011)

New approaches to boolean quantifier elimination. - Christoph Zengler; Andreas Kübler; Wolfgang Küchlin (ACM Commun. Comput. Algebra, 2011)

An Improved Constraint Ordering Heuristics for Compiling Configuration Problems. - Benjamin Matthes; Christoph Zengler; Wolfgang Küchlin (Configuration Workshop, 2012)

Applications of MaxSAT in Automotive Configuration. - Rouven Walter; Christoph Zengler; Wolfgang Küchlin (Configuration Workshop, 2013)

Boolean Quantifier Elimination for Automotive Configuration - A Case Study. - Christoph Zengler; Wolfgang Küchlin (FMICS, 2013)

New Formal Methods for Automotive Configuration - Christoph Zengler (2014)

Computerising Mathematical Text. - Fairouz Kamareddine; Joe B. Wells; Christoph Zengler; Henk Barendregt (Computational Logic, 2014)