Gianpiero Cabodi, P. Pasini, Stefano Quer, D. Vendraminetto
Tightening BDD-based approximate reachability with SAT-based clause generalization∗
DATE, 2014.
@inproceedings{DATE-2014-CabodiPQV,
author = "Gianpiero Cabodi and P. Pasini and Stefano Quer and D. Vendraminetto",
booktitle = "{Proceedings of the 18th Conference and Exhibition on Design, Automation and Test in Europe}",
doi = "10.7873/DATE.2014.129",
pages = "1--6",
publisher = "{IEEE}",
title = "{Tightening BDD-based approximate reachability with SAT-based clause generalization∗}",
year = 2014,
}