Experiments in the heuristic use of past proof experience
From MaRDI portal
Publication:4647545
DOI10.1007/3-540-61511-3_111zbMATH Open1412.68224OpenAlexW1865124669MaRDI QIDQ4647545FDOQ4647545
Authors: Matthias Fuchs 
Publication date: 15 January 2019
Published in: Automated Deduction — Cade-13 (Search for Journal in Brave)
Full work available at URL: http://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/380
Recommendations
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Searching for circles of pure proofs
- Title not available (Why is that?)
- The TPTP problem library
- Meeting the challenge of fifty years of logic
- Title not available (Why is that?)
- Automatic acquisition of search guiding heuristics
- Experiments in automatic learning for a multipurpose hueristic program
- Experiments in the heuristic use of past proof experience
- Distributing equational theorem proving
Cited In (10)
- Automatic acquisition of search control knowledge from multiple proof attempts.
- Using mixture of experts method in combining search-guiding heuristics for theorem proving
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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
Uses Software
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)
