Cheng, Che

2 publications

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

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