Improving SAT-Based Bounded Model Checking by Means of BDD-Based Approximate Traversals.

Gianpiero Cabodi, Sergio Nocco, Stefano Quer

Browse the full DATE paper archive.