MUStICCa: MUS Extraction with Interactive Choice of Candidates.

Johannes Dellert, Christian Zielke, Michael Kaufmann

Browse the full SAT paper archive.