Hierarchical invention of theorem proving strategies (Q5145434)
From MaRDI portal
scientific article; zbMATH DE number 7298900
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Hierarchical invention of theorem proving strategies |
scientific article; zbMATH DE number 7298900 |
Statements
Hierarchical invention of theorem proving strategies (English)
0 references
20 January 2021
0 references
automated theorem proving
0 references
parameter learning
0 references
proof search heuristics
0 references
clause weight functions
0 references
