Paul Seitz

According to our database, Paul Seitz authored at least 1 paper in 2012.

Collaborative distances:

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

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