Pages that link to "Item:Q4647545"
From MaRDI portal
The following pages link to Experiments in the heuristic use of past proof experience (Q4647545):
Displaying 7 items.
- Proofs as schemas and their heuristic use (Q1583854) (← links)
- Automatic acquisition of search control knowledge from multiple proof attempts. (Q1854367) (← links)
- Proving theorems by reuse (Q1978233) (← links)
- Learning domain knowledge to improve theorem proving (Q4647500) (← links)
- Experiments in the heuristic use of past proof experience (Q4647545) (← links)
- Using Mixture of Experts Method in Combining Search-Guiding Heuristics for Theorem Proving (Q4932637) (← links)
- CODE: A powerful prover for problems of condensed detachment (Q5234708) (← links)
