Real Numbers and BDDs.

Norbert Th. Müller

Published in: Electron. Notes Theor. Comput. Sci. (2002)

Keyphrases

real numbers
binary decision diagrams
heuristic search
fuzzy numbers
interval arithmetic
set bounds propagation
arithmetic operations
timed automata
knowledge compilation
linear inequalities
neural network
constraint solver
dynamic model
fuzzy clustering
control system
genetic algorithm
decision diagrams
real time