The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic automated theorem-proving (ATP) systems for classical logic - the world championship for such systems. CASC provides a public evaluation of the relative capabilities of ATP systems, and aims to stimulate ATP research toward the development of more powerful ATP systems. Over the years CASC has been a catalyst for impressive improvements in ATP.
|Original language||English (US)|
|Number of pages||3|
|State||Published - Jun 1 2016|
ASJC Scopus subject areas
- Artificial Intelligence