Integer Multiplicaton and the Complexity of Binary Decision Diagrams.

Published in: Bull. EATCS (2009)

Keyphrases

binary decision diagrams
symbolic model checking
artificial intelligence
decision problems
databases
dynamic programming
general purpose
domain specific
multi dimensional
boolean functions
knowledge compilation