Jump to content

CADE ATP System Competition

Edit links
From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by CRGreathouse (talk | contribs) at 19:36, 14 September 2010 (link). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

The CADE ATP System Competition (CASC) is a yearly competition of fully automated[theorem provers for classical first order logic. CASC is associated with the Conference on Automated Deduction and the International Joint Conference on Automated Reasoning organized by the Association for Automated Reasoning.

The first CASC, CASC-13, was held as part of the 13th Conference on Automated Deduction at Rutgers University, New Brunswick, NJ, in 1996.

References

  • Geoff Sutcliffe. "The CADE ATP System Competition". Retrieved 2008-10-23.
  • Geoff Sutcliffe and Christian Suttner (2006). "The State of CASC". AI Communications. 19 (1): 35–48.
  • Jeff Pelletier, Geoff Sutcliffe and Christian Suttner (2002). "The Development of CASC". AI Communications. 15 (2–3): 79–90.
Stub icon

This computer science article is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=CADE_ATP_System_Competition&oldid=384846553"