The Separation Problem for Binary Decision Diagrams.

André A. Ciré John N. Hooker

Published in: ISAIM (2014)

Keyphrases

binary decision diagrams
boolean functions
symbolic model checking
planning problems
model checking
knowledge compilation
variable ordering
database
databases
knowledge base
data structure
relational databases