Minimal Assignments for Bounded Model Checking.

Thu, 01 Jan 2004 00:00:00 +0100

Kavita Ravi, Fabio Somenzi:
Minimal Assignments for Bounded Model Checking. TACAS 2004: 31-45