Faster Extraction of High-Level Minimal Unsatisfiable Cores.

Vadim Ryvchin, Ofer Strichman

Browse the full SAT paper archive.