Designing an Efficient Hardware Implication Accelerator for SAT Solving.

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

Browse the full SAT paper archive.