Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Yong Lai
Map detail
Yong Lai4 visible / 4 total nodes / 3 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipYong LaiAYong LaiResearcherReduced Ordered Binary Decision Diagram with Implied Literals: A New knowledge Compilation ApproachWReduced Ordered Binary ...preprint / 2011Ordered {AND, OR}-Decomposition and Binary-Decision DiagramWOrdered {AND, OR}-Decom...preprint / 2014Augmenting Ordered Binary Decision Diagrams with Conjunctive DecompositionWAugmenting Ordered Bina...preprint / 2014
Person3 links

Yong Lai

Researcher