State Set Management for SAT-based Unbounded Model Checking.

Kameshwar Chandrasekar, Michael S. Hsiao

Browse the full ICCD paper archive.