Mixing Forward and Backward Traversals in Guided-Prioritized BDD-Based Verification.

Gianpiero Cabodi, Sergio Nocco, Stefano Quer

Browse the full CAV paper archive.