Roman Gershman, Maya Koifman, Ofer Strichman. Deriving Small Unsatisfiable Cores with Dominators. In Thomas Ball, Robert B. Jones, editors, Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings. Volume 4144 of Lecture Notes in Computer Science, pages 109-122, Springer, 2006. [doi]
@inproceedings{GershmanKS06,
title = {Deriving Small Unsatisfiable Cores with Dominators},
author = {Roman Gershman and Maya Koifman and Ofer Strichman},
year = {2006},
doi = {10.1007/11817963_13},
url = {http://dx.doi.org/10.1007/11817963_13},
researchr = {https://researchr.org/publication/GershmanKS06},
cites = {0},
citedby = {0},
pages = {109-122},
booktitle = {Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
editor = {Thomas Ball and Robert B. Jones},
volume = {4144},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-37406-X},
}