Jiang, Jie-Hong R.

10 publications

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

AAAI 2024 Unifying Decision and Function Queries in Stochastic Boolean Satisfiability Yu-Wei Fan, Jie-Hong R. Jiang

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

AAAI 2023 Second-Order Quantified Boolean Logic Jie-Hong R. Jiang

AAAI 2023 SharpSSAT: A Witness-Generating Stochastic Boolean Satisfiability Solver Yu-Wei Fan, Jie-Hong R. Jiang

IJCAI 2022 Encoding Probabilistic Graphical Models into Stochastic Boolean Satisfiability Cheng-Han Hsieh, Jie-Hong R. Jiang

AAAI 2021 A Sharp Leap from Quantified Boolean Formula to Stochastic Boolean Satisfiability Solving Pei-Wei Chen, Yu-Ching Huang, Jie-Hong R. Jiang

AAAI 2021 Dependency Stochastic Boolean Satisfiability: A Logical Formalism for NEXPTIME Decision Problems with Uncertainty Nian-Ze Lee, Jie-Hong R. Jiang

IJCAI 2018 Solving Exist-Random Quantified Stochastic Boolean Satisfiability via Clause Selection Nian-Ze Lee, Yen-Shi Wang, Jie-Hong R. Jiang

IJCAI 2017 Solving Stochastic Boolean Satisfiability Under Random-Exist Quantification Nian-Ze Lee, Yen-Shi Wang, Jie-Hong R. Jiang