Old or heavy? Decaying gracefully with age/weight shapes
From MaRDI portal
Publication:2305433
DOI10.1007/978-3-030-29436-6_27OpenAlexW2969558106MaRDI QIDQ2305433
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
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
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