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
Research Interests
- SAT Solving
- Graph Drawing
Publications
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
- Christian Zielke Effizientes Preprocessing von Erfüllbarkeitsinstanzen mit Anwendung auf phylogenetische Probleme, Wilhelm-Schickard-Institut, Universität Tübingen, Masterarbeit, 2010
Education
- 06/2010: Master of Science in Bioinformatics, Eberhard-Karls-Universität Tübingen
