Yong Lai

Identifiers

• name variant Yong Lai 0.60 · backfill

Papers (4)

1. Approximate Model Counting by Partial Knowledge Compilation cs.AI · 2018 · author #1
2. Augmenting Ordered Binary Decision Diagrams with Conjunctive Decomposition cs.AI · 2014 · author #1
3. Ordered {AND, OR}-Decomposition and Binary-Decision Diagram cs.AI · 2012 · author #1
4. Reduced Ordered Binary Decision Diagram with Implied Literals: A New knowledge Compilation Approach cs.AI · 2011 · author #1

Mentions

• 1410.6671 #1 · backfill · confidence 0.70 Yong Lai
• 1208.2852 #1 · backfill · confidence 0.70 Yong Lai
• 1103.3123 #1 · backfill · confidence 0.70 Yong Lai

Frequent Coauthors

• Dayou Liu 3 shared papers
• Minghao Yin 1 shared papers
• Shengsheng Wang 1 shared papers