Scalable Exploration of Functional Dependency by Interpolation and Incremental SAT Solving

Chih-Chun LeeJie-Hong R. JiangChung-Yang HuangAlan MishchenkoCHUNG-YANG HUANGJIE-HONG JIANG2018-09-102018-09-102007-11http://scholars.lib.ntu.edu.tw/handle/123456789/334039Scalable Exploration of Functional Dependency by Interpolation and Incremental SAT Solvingconference paper10.1109/ICCAD.2007.43972702-s2.0-50249153650