Christoph Zengler

According to our database, Christoph Zengler authored at least 10 papers between 2010 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Computerising Mathematical Text.

Fairouz Kamareddine, Joe B. Wells, Christoph Zengler, Henk Barendregt

Proceedings of the Computational Logic, 2014

New Formal Methods for Automotive Configuration

Christoph Zengler

PhD thesis, 2014

2013

Boolean Quantifier Elimination for Automotive Configuration - A Case Study.

Christoph Zengler, Wolfgang Küchlin

Proceedings of the Formal Methods for Industrial Critical Systems, 2013

Applications of MaxSAT in Automotive Configuration.

Rouven Walter, Christoph Zengler, Wolfgang Küchlin

Proceedings of the 15th International Configuration Workshop, 2013

2012

An Improved Constraint Ordering Heuristics for Compiling Configuration Problems.

Benjamin Matthes, Christoph Zengler, Wolfgang Küchlin

Proceedings of the Workshop on Configuration at ECAI 2012, 2012

2011

New approaches to boolean quantifier elimination.

Christoph Zengler, Andreas Kübler, Wolfgang Küchlin

ACM Commun. Comput. Algebra, 2011

Boolean Gröbner bases in SAT solving.

Christoph Zengler, Wolfgang Küchlin

ACM Commun. Comput. Algebra, 2011

2010

Model Counting in Product Configuration

Andreas Kübler, Christoph Zengler, Wolfgang Küchlin

Proceedings of the Proceedings First International Workshop on Logics for Component Configuration, 2010

Parametric quantified SAT solving.

Thomas Sturm, Christoph Zengler

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2010

Extending Clause Learning of SAT Solvers with Boolean Gröbner Bases.

Christoph Zengler, Wolfgang Küchlin

Proceedings of the Computer Algebra in Scientific Computing - 12th International Workshop, 2010