Publications
Reviewed Conference & Workshop Papers
- Encoding the Linux Kernel Configuration in Propositional Logic
Christoph Zengler and Wolfgang Küchlin
13th Workshop on Configurations (ConfWS) 2010
Download Paper - Extending Clause Learning of SAT Solvers with Boolean Gröbner Bases
Christoph Zengler and Wolfgang Küchlin
12th International Workshop on Computer Algebra in Scientific Computing (CASC) 2010
Download Paper - Model Counting in Product Configuration
Andreas J. Kübler, Christoph Zengler and Wolfgang Küchlin
Workshop on Logics for Component Configuration (LoCoCo) 2010
Download Paper - Parametric Quantified SAT Solving
Christoph Zengler and Thomas Sturm
35th International Symposium on Symbolic and Algebraic Computation (ISSAC) 2010
Download Paper
Thesis
- Generalised SAT Checking in a First-Order Logic Framework
Christoph Zengler
Diploma Thesis at the University of Passau, 2008
Download Thesis
Reports
- Computerising mathematical texts in MathLang
Fairouz Kamareddine, J.B. Wells and Christoph Zengler
Download Paper || Download extended paper - MathLang – Towards a Better Usability and Building the Path into Coq
Christoph Zengler
Download report || Download extended Report
Talks
2010
- Encoding the Linux Kernel Configuration in Propositional Logic
Talk at the ECAI Configurations Workshop, Lissabon, Portugal
Download slides of the talk - Parametric Quantified SAT Solving
Talk at the ISSAC 2010, Munich, Germany
Download slides of the talk
2009
- Formal Methods for Product Configuration in the Automotive Industry
Talk at the Universidad de Cantabria, Santander, Spain
Download slides of the talk
2008
- Quantifier Elimination with SAT Solving Algorithms
Talk at the Universität Tübingen, Germany
Download slides of the talk - Gradual computerisation of mathematical texts
Talk at the Doctorial Symposium at the MKM 2008 in Birmingham
Download slides of the talk - MathLang – Towards a Better Usability and Building the Path into Coq
Defense of my 1st year report
Download slides of the talk
2007
- Generalised SAT-Checking in a First-Order Logic Framework
Defense of my diploma thesis
Download slides of the talk