• Publications
  • Influence

Claim Your Author Page
Ensure your research is discoverable on Semantic Scholar. Claiming your author page allows you to personalize the information displayed and manage publications (all current information on this profile has been aggregated automatically from publisher and metadata sources).
  • Geoff Sutcliffe, Christian B. Suttner
  • Computer Science
  • AI Commun.
  • 2006
  • The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first order Automated Theorem Proving systems - the world championship for such systems. This paper captures theContinue Reading