"Finding Bugs in an Alpha Microprocessor Using Satisfiability Solvers."

Per Bjesse, Tim Leonard, Abdel Mokkedem (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics