Christoph Zengler
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2010–2013
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | FMICS | Boolean Quantifier Elimination for Automotive Configuration - A Case Study. | Christoph Zengler, Wolfgang Kchlin |
| 2010 | CASC | Extending Clause Learning of SAT Solvers with Boolean Grbner Bases. | Christoph Zengler, Wolfgang Kchlin |
| 2010 | ISSAC | Parametric quantified SAT solving. | Thomas Sturm, Christoph Zengler |