Pages that link to "Item:Q1583854"
From MaRDI portal
The following pages link to Proofs as schemas and their heuristic use (Q1583854):
Displaying 5 items.
- Portfolio theorem proving and prover runtime prediction for geometry (Q2631959) (← links)
- Schematic refutations of formula schemata (Q2666952) (← links)
- Improving the time efficiency of proving theorems using a learning mechanism (Q2740950) (← links)
- Representing heuristic-relevant information for an automated theorem prover (Q3979280) (← links)
- Using Mixture of Experts Method in Combining Search-Guiding Heuristics for Theorem Proving (Q4932637) (← links)