Lifting (D)QBF Preprocessing and Solving Techniques to (D)SSAT. - Che Cheng; Jie-Hong R. Jiang (AAAI, 2023)

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 (ICCAD, 2023)

A Resolution Proof System for Dependency Stochastic Boolean Satisfiability. - Yun-Rong Luo; Che Cheng; Jie-Hong R. Jiang (J. Autom. Reason., 2023)

2-DQBF Solving and Certification via Property-Directed Reachability Analysis. - Long-Hin Fung; Che Cheng; Yu-Wei Fan; Tony Tan; Jie-Hong Roland Jiang (FMCAD, 2024)

Knowledge Compilation for Incremental and Checkable Stochastic Boolean Satisfiability. - Che Cheng; Yun-Rong Luo; Jie-Hong R. Jiang (IJCAI, 2024)

Fine-Grained Complexity Analysis of Dependency Quantified Boolean Formulas. - Che Cheng; Long-Hin Fung; Jie-Hong Roland Jiang; Friedrich Slivovsky; Tony Tan (SAT, 2025)