Gianpiero Cabodi, Sergio Nocco, Stefano Quer. Improving SAT-based Bounded Model Checking by Means of BDD-based Approximate Traversals. J. UCS, 10(12):1696-1730, 2004. [doi]
No references recorded for this publication.
No citations of this publication recorded.