Recent Advances in Verification, Equivalence Checking and SAT-Solvers.

Dhiraj K. Pradhan, Magdy S. Abadir, Mauricio Varea

Browse the full VLSID paper archive.