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