CASC-J3 The 3rd IJCAR ATP System Competition

  • Geoff Sutcliffe
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4130)


The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first-order Automated Theorem Proving (ATP) systems – the world championship for such systems. CASC-J3 was held on 18th August 2006, as part of the 3rd International Joint Conference on Automated Reasoning, in Seattle, Washington. It was the eleventh competition in the CASC series.


Automate Reasoning Proof Obligation World Championship Common Sense Knowledge Automate Theorem Prove System 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. [BdMS05]
    Barrett, C., de Moura, L., Stump, A.: SMT-COMP: Satisfiability Modulo Theories Competition. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol. 3576, pp. 20–23. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  2. [DFS04]
    Denney, E., Fischer, B., Schumann, J.: Using Automated Theorem Provers to Certify Auto-generated Aerospace Software. In: Basin, D., Rusinowitch, M. (eds.) IJCAR 2004. LNCS (LNAI), vol. 3097, pp. 198–212. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  3. [RPG05]
    Ramachandran, D., Reagan, P., Goolsbey, K.: First-orderized ResearchCyc: Expressiveness and Efficiency in a Common Sense Knowledge Base. In: Shvaiko, P. (ed.) Proceedings of the Workshop on Contexts and Ontologies: Theory, Practice and Applications (2005)Google Scholar
  4. [RTRL]
    Ranise, S., Tinelli, C.: The Satisfiability Modulo Theories Library (SMT-LIB),
  5. [SS06]
    Sutcliffe, G., Suttner, C.: The State of CASC. AI Communications 19(1), 35–48 (2006)MATHMathSciNetGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Geoff Sutcliffe
    • 1
  1. 1.Department of Computer ScienceUniversity of Miami 

Personalised recommendations