A robust functional ECO engine by SAT proof minimization and interpolation techniques

作者：Bo-Han Wu, Chun-Ju Yang, Chung-Yang Huang, Jie-Hong Roland Jiang