Yong Lai
4 papers · 2017–2024 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
π 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
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