Live briefing
Everything about CADE ATP System Competition
Annual automated theorem proving competition
The CADE ATP System Competition (CASC) is an annual competition of fully automated theorem provers for classical logic. Wikipedia →
🧭 Start here: a 6-step reading path
- Read the overview: CADE ATP System CompetitionA 5-minute orientation
- Read the landmark paper: The CADE ATP System Competition — CASCCited 50 times
- Go sideways: Geoff SutcliffeA closely related topic
- Go sideways: Automated theorem provingA closely related topic
📖 Definitions
No dictionary entry for this exact phrase.
🗂️ The subject at a glance
🏆 Landmark papers (most cited)
The CADE ATP System Competition — CASC
The CADE-16 ATP System Competition
The CADE-14 ATP System Competition
The Procedures of the CADE-13 ATP System Competition
The CADE-15 ATP System Competition
The CADE-13 ATP System Competition
The Design of the CADE-13 ATP System Competition
The Results - of the CADE-13 ATP System Competition
📚 Books worth reading
Open Library didn't respond; try again in a moment.
🔗 Related topics
- Geoff Sutcliffe Geoff Sutcliffe is a US-based computer scientist working in the field of automated reasoning. He was born in the former British colony of Northern Rhodesia…
- Automated theorem proving Automated theorem proving (ATP), also known as automated deduction, is a subfield of automated reasoning and mathematical logic dealing with proving mathematica…
- Satisfiability modulo theories In computer science and mathematical logic, satisfiability modulo theories (SMT) is the problem of determining whether a mathematical formula is satisfiable…
- Paradox (theorem prover) Paradox is a finite-domain model finder for pure first-order logic (FOL) with equality developed by Koen Lindström Claessen and Niklas Sörensson at the…
- E (theorem prover) E is a high-performance theorem prover for full first-order logic with equality. It is based on the equational superposition calculus and uses a purely…
- Automated reasoning In computer science, in particular in knowledge representation and reasoning and metalogic, the area of automated reasoning is dedicated to understanding…
- International Joint Conference on Automated Reasoning The International Joint Conference on Automated Reasoning (IJCAR) is a series of conferences on the topics of automated reasoning, automated deduction…
- List of computer science awards This list of computer science awards is an index to articles on notable awards related to computer science. It includes lists of awards by the Association…