SAT-Based Model Checking without Unrolling.

Aaron R. Bradley

Browse the full VMCAI paper archive.