Automatic acquisition of search guiding heuristics
From MaRDI portal
Publication:6488552
DOI10.1007/3-540-52885-7_108zbMATH Open1509.68322MaRDI QIDQ6488552FDOQ6488552
Authors: Christian Suttner, Wolfgang Ertel
Publication date: 28 April 2023
Recommendations
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Cites Work
- Learning representations by back-propagating errors
- SETHEO: A high-performance theorem prover
- Complexity and related enhancements for automated theorem-proving programs
- Matings in matrices
- Mechanical Theorem-Proving by Model Elimination
- Title not available (Why is that?)
- Seventy-five problems for testing automatic theorem provers
- Schubert's steamroller problem: Formulations and solutions
- A pattern classification approach to evaluation function learning
- Experiments in automatic learning for a multipurpose hueristic program
Cited In (12)
- A neurally-guided, parallel theorem prover
- Machine learning for first-order theorem proving
- Using mixture of experts method in combining search-guiding heuristics for theorem proving
- Title not available (Why is that?)
- Improving the time efficiency of proving theorems using a learning mechanism
- Learning search control-knowledge for equational deduction
- Experiments in the heuristic use of past proof experience
- Accelerating autonomous learning by using heuristic selection of actions
- Directed and optimizing search methods in complex data structures.
- Toward a procedure for data mining proofs
- Proofs as schemas and their heuristic use
- Towards Systematic Analysis of Theorem Provers Search Spaces: First Steps
This page was built for publication: Automatic acquisition of search guiding heuristics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6488552)