A practical reconfigurable hardware accelerator for Boolean satisfiability solvers.

John D. Davis, Zhangxi Tan, Fang Yu, Lintao Zhang

Browse the full DAC paper archive.