Zhenpei Huang

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 3

Top Topics

Boolean Optimization

Clause Learning

Top Venues

Publications

Zhenpei Huang, Xiwen Fan, Jinghui Jiang, Mingyuan Song, Lu Tang, Qiao Xiang, Jiwu Shu
Accelerating SAT Solving Using Switching ASICs. ICPADS (2023)
Jinghui Jiang, Zhenpei Huang, Qiao Xiang, Lu Tang, Jiwu Shu
Poster: P4-DPLL: Accelerating SAT Solving Using Switching ASICs. SIGCOMM (2023)
Jinghui Jiang, Zhenpei Huang, Qiao Xiang, Lu Tang, Jiwu Shu
P4-DPLL: accelerating SAT solving using switching ASICs. FFSPIN@SIGCOMM (2022)