Reduced Ordered Binary Decision Diagram with Implied Literals: A New knowledge Compilation Approach

Yong Lai Dayou Liu Sheng-sheng Wang

Published in: CoRR (2011)

Keyphrases

binary decision diagrams
knowledge compilation
product configuration
boolean formula
prime implicates
normal form
boolean functions
decomposable negation normal form
polynomial size
target language
data model
model checking
user defined
phase transition