Roman Gershman, Maya Koifman, Ofer Strichman. An approach for extracting a small unsatisfiable core. Formal Methods in System Design, 33(1-3):1-27, 2008. [doi]
@article{GershmanKS08,
title = {An approach for extracting a small unsatisfiable core},
author = {Roman Gershman and Maya Koifman and Ofer Strichman},
year = {2008},
doi = {10.1007/s10703-008-0051-z},
url = {http://dx.doi.org/10.1007/s10703-008-0051-z},
tags = {systematic-approach},
researchr = {https://researchr.org/publication/GershmanKS08},
cites = {0},
citedby = {0},
journal = {Formal Methods in System Design},
volume = {33},
number = {1-3},
pages = {1-27},
}