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