Yong Lai

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

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓

🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Sprint 🌉 Interdisciplinary Bridge · Silver 🗺️ Taxonomy Completionist (10) 📈 Trend Setter

Venues

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)

Research topics

Mathematics & Optimization (4) Artificial Intelligence (3) Core AI (3) Mathematics (3) Optimization (3) Machine Learning (2) Optimization & Theory (2) Computer Science (1) Foundations (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