A Hybrid Method for Finite Model Search in Equational Theories.

Belaid Benhamou Laurent Henocque

Published in: Fundam. Informaticae (1999)

Keyphrases

hybrid method
equational theories
neural network
probabilistic model
database
genetic algorithm
high level
objective function
search algorithm
theorem proving
cost function