| 2026 | AAAI | Model Counting for Dependency Quantified Boolean Formulas. | Long-Hin Fung, Che Cheng, Jie-Hong Roland Jiang, Friedrich Slivovsky, Tony Tan |
| 2025 | FMCAD | Unifying DQMax#SAT and DSSAT: Polynomial-Time Reduction and Applications. | Ilo Chen, Che Cheng, Jie-Hong Roland Jiang |
| 2025 | SAT | Fine-Grained Complexity Analysis of Dependency Quantified Boolean Formulas. | Che Cheng, Long-Hin Fung, Jie-Hong Roland Jiang, Friedrich Slivovsky, Tony Tan |
| 2024 | FMCAD | 2-DQBF Solving and Certification via Property-Directed Reachability Analysis. | Long-Hin Fung, Che Cheng, Yu-Wei Fan, Tony Tan, Jie-Hong Roland Jiang |
| 2024 | IJCAI | Knowledge Compilation for Incremental and Checkable Stochastic Boolean Satisfiability. | Che Cheng, Yun-Rong Luo, Jie-Hong R. Jiang |
| 2023 | AAAI | Lifting (D)QBF Preprocessing and Solving Techniques to (D)SSAT. | Che Cheng, Jie-Hong R. Jiang |
| 2023 | ICCAD | WolFEx: Word-Level Function Extraction and Simplification from Gate-Level Arithmetic Circuits. | Kuo-Wei Ho, Shao-Ting Chung, Tian-Fu Chen, Yu-Wei Fan, Che Cheng, Cheng-Han Liu, Jie-Hong R. Jiang |