Proof systems that take advice.

Olaf Beyersdorff Johannes Köbler Sebastian Müller

Published in: Inf. Comput. (2011)

Keyphrases

systems require
neural network
genetic algorithm
multiresolution
complex systems
machine learning
learning algorithm
multimedia
multi agent
relational databases
software engineering
distributed systems
intelligent systems
computer systems
retrieval systems
theorem proving