Enhancing SAT-based Bounded Model Checking using Sequential Logic Implications.

Rajat Arora, Michael S. Hsiao

Browse the full VLSID paper archive.