Satisfiability-Based Functional Delay Fault Testing. - Joonyoung Kim 006; João Marques-Silva 001; Karem A. Sakallah (VLSI, 1999)

On Applying Incremental Satisfiability to Delay Fault Testing. - Joonyoung Kim 006; Jesse Whittemore; Karem A. Sakallah; João P. Marques Silva (DATE, 2000)

On Solving Stack-Based Incremental Satisfiability Problems. - Joonyoung Kim 006; Jesse Whittemore; Karem A. Sakallah (ICCD, 2000)

SATIRE: A New Incremental Satisfiability Engine. - Jesse Whittemore; Joonyoung Kim 006; Karem A. Sakallah (DAC, 2001)