Scalable exploration of functional dependency by interpolation and incremental SAT solving ICCAD 2007 2007 Authors: Chih-Chun Lee, Jie-Hong Roland Jiang, Chung-Yang Huang, Alan Mishchenko
