Fast Interpolating BMC.

Yakir Vizel, Arie Gurfinkel, Sharad Malik

Browse the full CAV paper archive.