"SAT-based semiformal verification of hardware."

Sabih Agbaria et al. (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics