Yong Lai

4 papers · 2017–2024 · 2 conferences · across top CS/AI conferences

Achievements

🐝 Cross-Pollinator (13) 🏃 Academic Marathon (7) 🌉 Interdisciplinary Bridge 🌍 Conference Polyglot (2) 🗺️ Taxonomy Completionist (10) 🧭 Keyword Pioneer 📈 Trend Setter

Conferences

AAAI (2) IJCAI (2)

Top co-authors

Kuldeep S. Meel (2) Minghao Yin (1) Dayou Liu (1) Mingwei Zhang (1) Roland H.C. Yap (1) Liangda Fang (1) Roland H. C. Yap (1) Zhenhao Gu (1) Quanlong Guan (1)

Keywords

binary decision diagram (2) knowledge compilation (2) model counting (2) anytime algorithm (1) directed acyclic graph (1) graph search (1) propositional logic (1) decision diagram (1) approximate algorithm (1) boolean formula (1) multi-valued decision diagram (1) canonical representation (1) exact counting (1) constrained optimal path (1) conjunctive decomposition (1) boolean function representation (1) approximate inference (1) literal equivalence (1) computational complexity (1) boolean function (1)

Papers

A Multi-Valued Decision Diagram-Based Approach to Constrained Optimal Path Problems over Directed Acyclic Graphs IJCAI 2024

Fast Converging Anytime Model Counting AAAI 2023

The Power of Literal Equivalence in Model Counting AAAI 2021

New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition (Extended Abstract) IJCAI 2017