Universität Tübingen Fakultät > Wilhelm-Schickard-Institut > Algorithmik > Lehrstuhl > Mitarbeiter > Christian Zielke
Arbeitsbereich Algorithmik

Christian Zielke

Address

Arbeitsbereich Algorithmik
Wilhelm-Schickard Institut für Informatik
Sand 14, D-72076 Tübingen, Deutschland

Contact Information

Email: zielkeinformatik.unituebingen.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

Education

Anregungen / Kritik Impressum minicms