Using Mixture of Experts Method in Combining Search-Guiding Heuristics for Theorem Proving (Q4932637)
From MaRDI portal
scientific article; zbMATH DE number 5796601
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Using Mixture of Experts Method in Combining Search-Guiding Heuristics for Theorem Proving |
scientific article; zbMATH DE number 5796601 |
Statements
Using Mixture of Experts Method in Combining Search-Guiding Heuristics for Theorem Proving (English)
0 references
6 October 2010
0 references
search process
0 references
0 references
