The CADE-19 ATP System Competition.

Geoff Sutcliffe Christian B. Suttner

Published in: CADE (2003)

Keyphrases

automated theorem proving
international competition
real time
scheduling problem
theorem prover
real world
pairwise
artificial neural networks
wireless sensor networks