Automatic acquisition of search guiding heuristics
From MaRDI portal
Publication:6488552
Recommendations
Cites work
- scientific article; zbMATH DE number 3189714 (Why is no real title available?)
- A pattern classification approach to evaluation function learning
- Complexity and related enhancements for automated theorem-proving programs
- Experiments in automatic learning for a multipurpose hueristic program
- Learning representations by back-propagating errors
- Matings in matrices
- Mechanical Theorem-Proving by Model Elimination
- SETHEO: A high-performance theorem prover
- Schubert's steamroller problem: Formulations and solutions
- Seventy-five problems for testing automatic theorem provers
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
- Improving the time efficiency of proving theorems using a learning mechanism
- Learning search control-knowledge for equational deduction
- scientific article; zbMATH DE number 1980923 (Why is no real title available?)
- Accelerating autonomous learning by using heuristic selection of actions
- Experiments in the heuristic use of past proof experience
- 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)