Minimal Assignments for Bounded Model Checking.

Kavita Ravi, Fabio Somenzi

Browse the full TACAS paper archive.