Combining symbolic and numerical solvers to simplify indecomposable systems solving.

Arnaud Fabre Pascal Schreck

Published in: SAC (2008)

Keyphrases

artificial intelligence
database systems
management system
constraint solvers
real time
data sets
databases
high level
distributed systems
linear programming
numerically stable