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

Stephan Kottler, Christian Zielke, Paul Seitz, Michael Kaufmann

Browse the full SAT paper archive.