Sung-Jui (Song-Ra) Pan Kwang-Ting Cheng John Moondanos Ziyad Hanna Generation of shorter sequences for high resolution error diagnosis using sequential SAT. 25-29 2006 conf/aspdac/2006 ASP-DAC http://doi.acm.org/10.1145/1118299.1118307 db/conf/aspdac/aspdac2006.html#PanCMH06