Jinghui Jiang

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 4

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)
Shanwei Liu, Yue Jiao, Qinting Sun, Jinghui Jiang
Estimation of Sea Level Change in the South China Sea from Satellite Altimetry Data. Sci. Program. 2021 (2021)