scientific article; zbMATH DE number 1809860

MaRDI QIDQ3150299zbMATH OpenFDO

Authors Francis Jeffry Pelletier, Christian Suttner, Geoff Sutcliffe

Publication date 21 September 2003

zbMATH Keywords

CADE ATP system competition

Mathematics Subject Classification ID

History of computer science (68-03) Symbolic computation and algebraic computation (68W30)

Recommendations

• The state of CASC
• Automated Reasoning
• The design of the CADE-13 ATP system competition
• scientific article; zbMATH DE number 5305114
• The 10th IJCAR automated theorem proving system competition -- CASC-J10

Cited in

(11)

• Automated verification of refinement laws
• The OWL reasoner evaluation (ORE) 2015 competition report
• Towards a unified model of search in theorem-proving: subgoal-reduction strategies
• Design and results of the 2nd annual satisfiability modulo theories competition (SMT-COMP 2006)
• scientific article; zbMATH DE number 1612538 (Why is no real title available?)
• The 2013 evaluation of SMT-COMP and SMT-LIB
• scientific article; zbMATH DE number 5353276 (Why is no real title available?)
• Model evolution with equality -- revised and implemented
• The design of the CADE-13 ATP system competition
• An empirical assessment of progress in automated theorem proving
• Design and results of the first satisfiability modulo theories competition (SMT-COMP 2005)

This page was built for publication:

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