Christian Zielke

Address
Arbeitsbereich Algorithmik
Wilhelm-Schickard Institut für Informatik
Sand 14, D-72076 Tübingen, Deutschland
Contact Information
Email: |
zielke informatik.uni tuebingen.de
|
Phone: | +49-7071-2970480 |
Room: | C108 |
Office hours: | by appointment |
Research Interests |
Publications |
Education
- SAT Solving
- Graph Drawing
Conference Proceedings
- Stephan Kottler, Christian Zielke, Paul Seitz, Michael Kaufmann: Exploring recurring patterns in conflict analysis of CDCL SAT solvers (Tool Presentation), 15th International Conference on Theory and Applications of Satisfiability Testing, 2012
BibTex
--
Abstract
- Johannes Dellert, Christian Zielke, Michael Kaufmann: MUStICCa: MUS Extraction with Interactive Choice of Candidates, 16th International Conference on Theory and Applications of Satisfiability Testing, 2013
BibTex
--
Abstract
Misc