Alessandro Cimatti, Anders Franzén, Alberto Griggio, Krishnamani Kalyanasundaram, Marco Roveri
Tighter integration of BDDs and SMT for Predicate Abstraction
DATE, 2010.
@inproceedings{DATE-2010-CimattiFGKR,
author = "Alessandro Cimatti and Anders Franzén and Alberto Griggio and Krishnamani Kalyanasundaram and Marco Roveri",
booktitle = "{Proceedings of the 14th Conference on Design, Automation and Test in Europe}",
pages = "1707--1712",
publisher = "{IEEE}",
title = "{Tighter integration of BDDs and SMT for Predicate Abstraction}",
year = 2010,
}