Experiments in the heuristic use of past proof experience
From MaRDI portal
Publication:4647545
Recommendations
Cites work
- scientific article; zbMATH DE number 3124827 (Why is no real title available?)
- scientific article; zbMATH DE number 4090850 (Why is no real title available?)
- scientific article; zbMATH DE number 1348483 (Why is no real title available?)
- scientific article; zbMATH DE number 3335866 (Why is no real title available?)
- Automatic acquisition of search guiding heuristics
- Distributing equational theorem proving
- Experiments in automatic learning for a multipurpose hueristic program
- Experiments in the heuristic use of past proof experience
- Meeting the challenge of fifty years of logic
- Searching for circles of pure proofs
- The TPTP problem library
Cited in
(11)- Automatic acquisition of search control knowledge from multiple proof attempts.
- Using mixture of experts method in combining search-guiding heuristics for theorem proving
- scientific article; zbMATH DE number 4047193 (Why is no real title available?)
- scientific article; zbMATH DE number 1759719 (Why is no real title available?)
- Learning from Łukasiewicz and Meredith: investigations into proof structures
- Automatic acquisition of search guiding heuristics
- Learning domain knowledge to improve theorem proving
- Experiments in the heuristic use of past proof experience
- CODE: A powerful prover for problems of condensed detachment
- Proving theorems by reuse
- Proofs as schemas and their heuristic use
This page was built for publication: Experiments in the heuristic use of past proof experience
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4647545)
