Alexander Nadel, Vadim Ryvchin, Ofer Strichman. Accelerated Deletion-based Extraction of Minimal Unsatisfiable Cores. JSAT, 9:27-51, 2014. [doi]
@article{NadelRS14-0,
title = {Accelerated Deletion-based Extraction of Minimal Unsatisfiable Cores},
author = {Alexander Nadel and Vadim Ryvchin and Ofer Strichman},
year = {2014},
url = {https://satassociation.org/jsat/index.php/jsat/article/view/116},
researchr = {https://researchr.org/publication/NadelRS14-0},
cites = {0},
citedby = {0},
journal = {JSAT},
volume = {9},
pages = {27-51},
}