research
∙
10/24/2014
Augmenting Ordered Binary Decision Diagrams with Conjunctive Decomposition
This paper augments OBDD with conjunctive decomposition to propose a gen...
share
research
∙
08/14/2012
Ordered AND, OR-Decomposition and Binary-Decision Diagram
In the context of knowledge compilation (KC), we study the effect of aug...
research
∙
03/16/2011
