Poster: P4-DPLL: Accelerating SAT Solving Using Switching ASICs.

Jinghui Jiang, Zhenpei Huang, Qiao Xiang, Lu Tang, Jiwu Shu

Browse the full SIGCOMM paper archive.