Using BDDs with Combinations of Theories.

Pascal Fontaine E. Pascal Gribomont

Published in: LPAR (2002)

Keyphrases

heuristic search
binary decision diagrams
timed automata
data structure
theoretical framework
real time
neural network
decision making
domain theory
causal reasoning
design theory