Resolution and binary decision diagrams cannot simulate each other polynomially.

Jan Friso Groote Hans Zantema

Published in: Discret. Appl. Math. (2003)

Keyphrases

binary decision diagrams
boolean functions
symbolic model checking
high resolution
np complete
variable ordering
machine learning
planning problems
database
databases
learning algorithm
data streams
natural language processing
model checking