A robust functional ECO engine by SAT proof minimization and interpolation techniques ICCAD 2010 2010 Authors: Bo-Han Wu, Chun-Ju Yang, Chung-Yang Huang, Jie-Hong Roland Jiang
