CoPAn: Exploring Recurring Patterns in Conflict Analysis of CDCL SAT Solvers - (Tool Presentation). - Stephan Kottler; Christian Zielke; Paul Seitz; Michael Kaufmann 001 (SAT, 2012)