Alessandro Cimatti, Anders Franzen, Alberto Griggio, Krishnamani Kalyanasundaram, Marco Roveri. Tighter Integration of {BDDs} and {SMT} for Predicate Abstraction.
Design, Automation & Test in Europe, Mar 2010, Dresden, Germany. pp.1707--1712.
⟨inria-00535785⟩