![](/img/cover-not-exists.png)
Accelerated Deletion-based Extraction of Minimal Unsatisfiable Cores
Nadel, Alexander, Ryvchin, Vadim, Strichman, OferVolume:
9
Journal:
Journal on Satisfiability, Boolean Modeling and Computation
DOI:
10.3233/sat190100
Date:
November, 2014
File:
PDF, 848 KB
2014