Lee, Nian-Ze

4 publications

AAAI 2025 Algorithm Selection for Word-Level Hardware Model Checking (Student Abstract) Zhengyang Lu, Po-Chun Chien, Nian-Ze Lee, Vijay Ganesh

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