Old or heavy? Decaying gracefully with age/weight shapes

DOI10.1007/978-3-030-29436-6_27OpenAlexW2969558106MaRDI QIDQ2305433

Michael Rawson, Giles Reger

Publication date: 10 March 2020

Full work available at URL: https://www.research.manchester.ac.uk/portal/en/publications/old-or-heavy-decaying-gracefully-with-ageweight-shapes(e39f43a1-1e6f-4214-ba54-43ce111d6911).html

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (4)

\textsf{lazyCoP}: lazy paramodulation meets neurally guided search ⋮ The CADE-27 Automated theorem proving System Competition – CASC-27 ⋮ Layered clause selection for theory reasoning (short paper) ⋮ Vampire getting noisy: Will random bits help conquer chaos? (system description)

Uses Software

• OTTER
• TPTP
• Prover9
• StarExec
• iProver
• E Theorem Prover

Cites Work

• Unnamed Item
• Unnamed Item
• Limited resource strategy in resolution theorem proving
• The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0
• Selecting the Selection
• Performance of Clause Selection Heuristics for Saturation-Based Theorem Proving
• Finding Finite Models in Multi-sorted First-Order Logic
• iProver – An Instantiation-Based Theorem Prover for First-Order Logic (System Description)
• The 9th IJCAR Automated Theorem Proving System Competition – CASC-J9

This page was built for publication: Old or heavy? Decaying gracefully with age/weight shapes