To SAT or Not to SAT: Scalable Exploration of Functional Dependency IEEE Trans. Computers 2010 2010 作者：Jie-Hong Roland Jiang, Chih-Chun Lee, Alan Mishchenko, Chung-Yang Huang
