Jinghui Jiang Zhenpei Huang Qiao Xiang Lu Tang 0004 Jiwu Shu Poster: P4-DPLL: Accelerating SAT Solving Using Switching ASICs. 1123-1125 2023 SIGCOMM https://doi.org/10.1145/3603269.3610863 conf/sigcomm/2023 db/conf/sigcomm/sigcomm2023.html#JiangHXTS23