Counterexample-Guided Choice of Projections in Approximate Symbolic Model Checking.

Shankar G. Govindaraju, David L. Dill

Browse the full ICCAD paper archive.