Xiaoliang Bai Sujit Dey Angela Krstic HyAC: A Hybrid Structural SAT Based ATPG for Crosstalk. 112-121 2003 conf/itc/2003 ITC http://csdl.computer.org/comp/proceedings/itc/2003/2063/00/20630112abs.htm db/conf/itc/itc2003.html#BaiDK03