Selecting critical implications with set-covering formulation for SAT-based Bounded Model Checking.

Mahmoud Elbayoumi, Michael S. Hsiao, Mustafa Y. ElNainay

Browse the full ICCD paper archive.