3 works on record
Test Pattern Generation using Boolean Proof Engines
High Quality Test Pattern Generation and Boolean Satisfiability
Test Digitaler Schaltkreise