The CADE-19 ATP System Competition.

Geoff Sutcliffe Christian B. Suttner

Published in: AI Commun. (2004)

Keyphrases

automated theorem proving
theorem prover
international competition
genetic algorithm
artificial intelligence
real world
computer vision
image processing
pattern recognition
computer science