Sign in
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