Scalable exploration of functional dependency by interpolation and incremental SAT solving

作者：Chih-Chun Lee, Jie-Hong Roland Jiang, Chung-Yang Huang, Alan Mishchenko