The CADE ATP System Competition (CASC) is a yearly competition of fully automated theorem provers for classical first order logic. CASC is associatedâ€¦Â (More)

Semantic Scholar uses AI to extract papers important to this topic.

2017

2017

- Geoff Sutcliffe
- 2017

The CADE ATP System Competition (CASC) evaluates the performance of sound, fully automatic, classical logic, ATP systems. Theâ€¦Â (More)

Is this relevant?

2016

2015

2015

- Geoâ†µ Sutcliâ†µe
- 2015

The CADE ATP System Competition (CASC) evaluates the performance of sound, fully automatic, classical logic, ATP systems. Theâ€¦Â (More)

Is this relevant?

2014

2014

- Geoâ†µ Sutcliâ†µe
- 2014

The CADE ATP System Competition (CASC) evaluates the performance of sound, fully automatic, classical logic, ATP systems. Theâ€¦Â (More)

Is this relevant?

2012

2012

- Geoff Sutcliffe
- 2012

Is this relevant?

2011

2011

- Geoff Sutcliffe
- 2011

Is this relevant?

2011

2011

- Geoff Sutcliffe
- AI Commun.
- 2011

The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, classical logic Automated Theorem Proving (ATPâ€¦Â (More)

Is this relevant?

Review

2006

Review

2006

- Geoff Sutcliffe
- AI Commun.
- 2006

The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first order Automated Theorem Proving (ATPâ€¦Â (More)

Is this relevant?

2004

2003

2003

- Geoff Sutcliffe, Christian B. Suttner
- CADE
- 2003

The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first order Automated Theorem Proving (ATPâ€¦Â (More)

Is this relevant?