CASC
Abstract
The CADE ATP System Competition is an annual event that
evaluates ATP systems in terms of their ability to solve problems
chosen from the TPTP.
Besides the obvious aim of evaluating ATP systems, CASC stimulates
ATP research and implementation of working autonomous ATP systems,
provides an inspiring environment for personal interaction between
ATP researchers, and exposes ATP systems to researchers both within
and outside the ATP community.