A review of symbolic solvers.

Laurent Bernardin

Published in: SIGSAM Bull. (1996)

Keyphrases

real time
case study
high level
symbolic representation
symbolic data
symbolic reasoning
information retrieval
low level
current status
symbolic description