Extended resolution simulates binary decision diagrams.

Nicolas Peltier

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

Keyphrases

binary decision diagrams
boolean functions
symbolic model checking
variable ordering
data sets
planning problems
search algorithm
high resolution
object oriented
knowledge compilation