A Scalable Algorithm for Minimal Unsatisfiable Core Extraction.

Nachum Dershowitz, Ziyad Hanna, Alexander Nadel

Browse the full SAT paper archive.