A Completion Procedure for Conditional Equations.

Harald Ganzinger

Published in: J. Symb. Comput. (1991)

Keyphrases

real world
data sets
information systems
genetic algorithm
decision making
image processing
mathematical model
differential equations
iterative procedure
finite difference
random field model
knuth bendix