On an optimization technique using Binary Decision Diagram

Debajit Sensarma Subhashis Banerjee Krishnendu Basuli Saptarshi Naskar Samar Sen-Sarma

Published in: CoRR (2012)

Keyphrases

binary decision diagrams
boolean functions
model checking
planning problems
pseudo boolean constraints
knowledge compilation
decision diagrams
boolean formula
orders of magnitude
data mining