To SAT or Not to SAT: Scalable Exploration of Functional Dependency.
https://doi.org/10.1109/TC.2010.12
@article{DBLP:journals/tc/JiangLMH10,
author = {Jie{-}Hong Roland Jiang and
Chih{-}Chun Lee and
Alan Mishchenko and
Chung{-}Yang Huang},
title = {To {SAT} or Not to {SAT:} Scalable Exploration of Functional Dependency},
journal = {{IEEE} Trans. Computers},
volume = {59},
number = {4},
pages = {457--467},
year = {2010},
url = {https://doi.org/10.1109/TC.2010.12},
doi = {10.1109/TC.2010.12},
timestamp = {Sat, 20 May 2017 00:24:39 +0200},
biburl = {https://dblp.org/rec/journals/tc/JiangLMH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签