Lai, Yong

5 publications

IJCAI 2024 A Multi-Valued Decision Diagram-Based Approach to Constrained Optimal Path Problems over Directed Acyclic Graphs Mingwei Zhang, Liangda Fang, Zhenhao Gu, Quanlong Guan, Yong Lai

AAAI 2023 Fast Converging Anytime Model Counting Yong Lai, Kuldeep S. Meel, Roland H. C. Yap

AAAI 2021 The Power of Literal Equivalence in Model Counting Yong Lai, Kuldeep S. Meel, Roland H. C. Yap

JAIR 2017 New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition Yong Lai, Dayou Liu, Minghao Yin

IJCAI 2017 New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition (Extended Abstract) Yong Lai, Dayou Liu, Minghao Yin