Boolean division and factorization using binary decision diagrams.

Ted Stanion Carl Sechen

Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1994)

Keyphrases

binary decision diagrams
boolean functions
symbolic model checking
boolean formula
matrix factorization
variable ordering
model checking
planning problems
reinforcement learning
real valued
database
artificial intelligence
dynamic programming
knowledge discovery
membership queries