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