Che Cheng

According to our database, Che Cheng authored at least 6 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Fine-Grained Complexity Analysis of Dependency Quantified Boolean Formulas.

Che Cheng, Long-Hin Fung, Jie-Hong Roland Jiang, Friedrich Slivovsky, Tony Tan

Proceedings of the 28th International Conference on Theory and Applications of Satisfiability Testing, 2025

2024

Knowledge Compilation for Incremental and Checkable Stochastic Boolean Satisfiability.

Che Cheng, Yun-Rong Luo, Jie-Hong R. Jiang

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

2-DQBF Solving and Certification via Property-Directed Reachability Analysis.

Long-Hin Fung, Che Cheng, Yu-Wei Fan, Tony Tan, Jie-Hong Roland Jiang

Proceedings of the Formal Methods in Computer-Aided Design, 2024

2023

A Resolution Proof System for Dependency Stochastic Boolean Satisfiability.

Yun-Rong Luo, Che Cheng, Jie-Hong R. Jiang

J. Autom. Reason., September, 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

Proceedings of the IEEE/ACM International Conference on Computer Aided Design, 2023

Lifting (D)QBF Preprocessing and Solving Techniques to (D)SSAT.

Che Cheng, Jie-Hong R. Jiang

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023