Roman Gershman, Maya Koifman, Ofer Strichman
Deriving Small Unsatisfiable Cores with Dominators
CAV, 2006.
@inproceedings{CAV-2006-GershmanKS,
author = "Roman Gershman and Maya Koifman and Ofer Strichman",
booktitle = "{Proceedings of the 18th International Conference on Computer Aided Verification}",
doi = "10.1007/11817963_13",
isbn = "3-540-37406-X",
pages = "109--122",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Deriving Small Unsatisfiable Cores with Dominators}",
volume = 4144,
year = 2006,
}