On the Magnitude of Completeness Thresholds in Bounded Model Checking.

Daniel Bundala, Jol Ouaknine, James Worrell

Browse the full LICS paper archive.