Superposition Modulo a Shostak Theory.

Harald Ganzinger Thomas Hillenbrand Uwe Waldmann

Published in: CADE (2003)

Keyphrases

theoretical framework
machine learning
trade off
computational model
theoretical basis
databases
neural network
genetic algorithm
cooperative
information technology
probability theory
general theory
mathematical foundations