Christian Zielke

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 3

Top Topics

Automatically Extracting

Boolean Satisfiability

Spiking Neural Networks

Top Venues

University of Tübingen, Germany (PHD)

Education History

University of Tübingen, Germany

PHD

Publications

Brian Pachideh, Christian Zielke, Sven Nitzsche, Jürgen Becker
Towards Hardware-Software Self-Adaptive Acceleration of Spiking Neural Networks on Reconfigurable Digital Hardware. SOCC (2023)
Michael A. Bekos, Michael Kaufmann, Christian Zielke
The Book Embedding Problem from a SAT-Solving Perspective. Graph Drawing (2015)
Christian Zielke, Michael Kaufmann
A New Approach to Partial MUS Enumeration. SAT (2015)
Johannes Dellert, Christian Zielke, Michael Kaufmann
MUStICCa: MUS Extraction with Interactive Choice of Candidates. SAT (2013)
Stephan Kottler, Christian Zielke, Paul Seitz, Michael Kaufmann
CoPAn: Exploring Recurring Patterns in Conflict Analysis of CDCL SAT Solvers - (Tool Presentation). SAT (2012)