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