Extending Finite Model Searching with Congruence Closure Computation.

Jian Zhang Hantao Zhang

Published in: AISC (2004)

Keyphrases

computational model
learning algorithm
parameter estimation
experimental data
network model
information retrieval
case study
evolutionary algorithm
mobile robot
probabilistic model
mathematical model
closed form
formal model