Che Cheng

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 3

Top Topics

Boolean Satisfiability

Top Venues

J. Autom. Reason.

Publications

Yun-Rong Luo, Che Cheng, Jie-Hong R. Jiang
A Resolution Proof System for Dependency Stochastic Boolean Satisfiability. J. Autom. Reason. 67 (3) (2023)
Kuo-Wei Ho, Shao-Ting Chung, Tian-Fu Chen, Yu-Wei Fan, Che Cheng, Cheng-Han Liu, Jie-Hong R. Jiang
WolFEx: Word-Level Function Extraction and Simplification from Gate-Level Arithmetic Circuits. ICCAD (2023)
Che Cheng, Jie-Hong R. Jiang
Lifting (D)QBF Preprocessing and Solving Techniques to (D)SSAT. AAAI (2023)