Techniques for Smaller Intermediary BDDs.

Jaco Geldenhuys Antti Valmari

Published in: CONCUR (2001)

Keyphrases

heuristic search
database
real time
genetic algorithm
metadata
high level
image sequences
preprocessing
timed automata