"Selective Search in Bounded Model Checking of Reachability Properties."

Maciej Szreter (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics