Christian Zielke
According to our database1,
Christian Zielke
authored at least 6 papers
between 2012 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Towards Hardware-Software Self-Adaptive Acceleration of Spiking Neural Networks on Reconfigurable Digital Hardware.
Proceedings of the 36th IEEE International System-on-Chip Conference, 2023
2015
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015
Proceedings of the Graph Drawing and Network Visualization - 23rd International Symposium, 2015
2013
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).
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012