Gianpiero Cabodi, C. Loiacono, D. Vendraminetto
Optimization techniques for craig interpolant compaction in unbounded model checking
DATE, 2013.
@inproceedings{DATE-2013-CabodiLV,
acmid = "2485625",
author = "Gianpiero Cabodi and C. Loiacono and D. Vendraminetto",
booktitle = "{Proceedings of the 17th Conference on Design, Automation and Test in Europe}",
isbn = "978-1-4503-2153-2",
pages = "1417--1422",
publisher = "{EDA Consortium San Jose, CA, USA / ACM DL}",
title = "{Optimization techniques for craig interpolant compaction in unbounded model checking}",
year = 2013,
}