Accelerating SAT Solving Using Switching ASICs.

Zhenpei Huang, Xiwen Fan, Jinghui Jiang, Mingyuan Song, Lu Tang, Qiao Xiang, Jiwu Shu

Browse the full ICPADS paper archive.