Jinghui Jiang

According to our database, Jinghui Jiang authored at least 4 papers between 2021 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

2021

Estimation of Sea Level Change in the South China Sea from Satellite Altimetry Data.

Shanwei Liu, Yue Jiao, Qinting Sun, Jinghui Jiang

Sci. Program., 2021