John D. Davis Zhangxi Tan Fang Yu Lintao Zhang A practical reconfigurable hardware accelerator for Boolean satisfiability solvers. 780-785 2008 DAC http://doi.acm.org/10.1145/1391469.1391669 conf/dac/2008 db/conf/dac/dac2008.html#DavisTYZ08