Zhenpei Huang

According to our database, Zhenpei Huang authored at least 3 papers between 2022 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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

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

Proceedings of the ACM SIGCOMM 2023 Conference, 2023

Accelerating SAT Solving Using Switching ASICs.

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

Proceedings of the 29th IEEE International Conference on Parallel and Distributed Systems, 2023

2022

P4-DPLL: accelerating SAT solving using switching ASICs.

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

Proceedings of the FFSPIN '22: Proceedings of the ACM SIGCOMM Workshop on Formal Foundations and Security of Programmable Network Infrastructures, 2022