A Comparison of Free BDDs and Transformed BDDs.

Detlef Sieling Ingo Wegener

Published in: Formal Methods Syst. Des. (2001)

Keyphrases

binary decision diagrams
heuristic search
timed automata
set bounds propagation
knowledge compilation
databases
information retrieval
decision diagrams
real time
multiscale
evolutionary algorithm
constraint satisfaction problems