VeriSAT: the Hardware Design of Modern SAT Solver.

Yue Tao, Shaowei Cai

Browse the full ICCAD paper archive.