scientific article; zbMATH DE number 19780

zbMATH Open0735.68076MaRDI QIDQ3979280FDOQ3979280

Authors: Christian Suttner 

Publication date: 26 June 1992

Title of this publication is not available (Why is that?)

Recommendations

• Automatic acquisition of search guiding heuristics
• Using mixture of experts method in combining search-guiding heuristics for theorem proving
• scientific article; zbMATH DE number 1980923
• Proofs as schemas and their heuristic use

zbMATH Keywords

learning systemautomatic acquisition of heuristicssearch guiding heuristics

Mathematics Subject Classification ID

Cited In (7)

• Using mixture of experts method in combining search-guiding heuristics for theorem proving
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Automatic acquisition of search guiding heuristics
• Proofs as schemas and their heuristic use
• Using hints to increase the effectiveness of an automated reasoning program: Case studies

Uses Software

• SETHEO

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3979280)