Christian Zielke

According to our database, Christian Zielke authored at least 6 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Towards Hardware-Software Self-Adaptive Acceleration of Spiking Neural Networks on Reconfigurable Digital Hardware.

Brian Pachideh, Christian Zielke, Sven Nitzsche, Jürgen Becker

Proceedings of the 36th IEEE International System-on-Chip Conference, 2023

2015

Engineering SAT Applications.

Christian Zielke

PhD thesis, 2015

A New Approach to Partial MUS Enumeration.

Christian Zielke, Michael Kaufmann

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015

The Book Embedding Problem from a SAT-Solving Perspective.

Michael A. Bekos, Michael Kaufmann, Christian Zielke

Proceedings of the Graph Drawing and Network Visualization - 23rd International Symposium, 2015

2013

MUStICCa: MUS Extraction with Interactive Choice of Candidates.

Johannes Dellert, Christian Zielke, Michael Kaufmann

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2013, 2013

2012

CoPAn: Exploring Recurring Patterns in Conflict Analysis of CDCL SAT Solvers - (Tool Presentation).

Stephan Kottler, Christian Zielke, Paul Seitz, Michael Kaufmann

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012