Using Mixture of Experts Method in Combining Search-Guiding Heuristics for Theorem Proving

DOI10.1007/978-90-481-9794-1_2zbMath1200.68219OpenAlexW342339601MaRDI QIDQ4932637

C. Acar Erkek, Tunga Gungor

Publication date: 6 October 2010

Published in: Lecture Notes in Electrical Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-90-481-9794-1_2

zbMATH Keywords

search process

Mathematics Subject Classification ID

Searching and sorting (68P10)

Related Items

Machine learning for first-order theorem proving

Cites Work

• The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0
• Experiments in the heuristic use of past proof experience
• Unnamed Item
• Unnamed Item
• Unnamed Item