CoPAn: Exploring Recurring Patterns in Conflict Analysis of CDCL SAT Solvers - (Tool Presentation). - Stephan Kottler; Christian Zielke; Paul Seitz; Michael Kaufmann 001 (SAT, 2012)

MUStICCa: MUS Extraction with Interactive Choice of Candidates. - Johannes Dellert; Christian Zielke; Michael Kaufmann 001 (SAT, 2013)

The Book Embedding Problem from a SAT-Solving Perspective. - Michael A. Bekos; Michael Kaufmann 001; Christian Zielke (GD, 2015)

A New Approach to Partial MUS Enumeration. - Christian Zielke; Michael Kaufmann 001 (SAT, 2015)

Engineering SAT Applications. - Christian Zielke (2015)

Towards Hardware-Software Self-Adaptive Acceleration of Spiking Neural Networks on Reconfigurable Digital Hardware. - Brian Pachideh; Christian Zielke; Sven Nitzsche; Jürgen Becker 001 (SOCC, 2023)