@inproceedings{SAT-2007-CimattiGS,
author = "Alessandro Cimatti and Alberto Griggio and Roberto Sebastiani",
booktitle = "{Proceedings of the 10th International Conference on Theory and Applications of Satisfiability Testing}",
doi = "10.1007/978-3-540-72788-0_32",
isbn = "978-3-540-72787-3",
pages = "334--339",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories}",
volume = 4501,
year = 2007,
}
Tags: