SAT-Based Compositional Verification Using Lazy Learning.

Nishant Sinha, Edmund M. Clarke

Browse the full CAV paper archive.