The state of CASC

MaRDI QIDQ5486135zbMATH OpenFDO

Authors Christian Suttner, Geoff Sutcliffe

Publication date 6 September 2006

Mathematics Subject Classification ID

Recommendations

• Automated Reasoning
• scientific article; zbMATH DE number 5305114
• The CADE-25 automated theorem proving system competition -- CASC-25
• The CADE-26 automated theorem proving system competition -- CASC-26
• The CADE-22 automated theorem proving system competition -- CASC-22

Cited in

(25)

• Computing finite models by reduction to function-free clause logic
• Automated verification of refinement laws
• The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0
• On the mechanization of the proof of Hessenberg's theorem in coherent logic
• The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0
• scientific article; zbMATH DE number 1612538 (Why is no real title available?)
• System description: GAPT 2.0
• Selecting the selection
• scientific article; zbMATH DE number 1809860 (Why is no real title available?)
• TPTP, TSTP, CASC, etc.
• THF0 – The Core of the TPTP Language for Higher-Order Logic
• Combinations of Theories for Decidable Fragments of First-Order Logic
• Model evolution with equality -- revised and implemented
• Automated inference of finite unsatisfiability
• The design of the CADE-13 ATP system competition
• Planning with effectively propositional logic
• The Relative Power of Semantics and Unification
• Progress in the Development of Automated Theorem Proving for Higher-Order Logic
• Automated Inference of Finite Unsatisfiability
• Herbrand Sequent Extraction
• Recognizing textual entailment and computational semantics
• Superposition with Delayed Unification
• A higher-order Vampire (short paper)
• An empirical assessment of progress in automated theorem proving
• Fast and slow enigmas and parental guidance

Describes a project that uses

Uses Software

• VAMPIRE

This page was built for publication: The state of CASC

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5486135)