scientific article; zbMATH DE number 1737186

MaRDI QIDQ4529543zbMATH OpenFDO

Authors Stephan Schulz

Publication date 3 May 2002

zbMATH Keywords

automated theorem provingequational deductionlearning search control knowledge

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02)

Recommendations

• Learning search control-knowledge for equational deduction
• scientific article; zbMATH DE number 1882060
• scientific article; zbMATH DE number 1552520
• Proofs as schemas and their heuristic use
• Automatic acquisition of search control knowledge from multiple proof attempts.

Cited in

(13)

• Automatic acquisition of search control knowledge from multiple proof attempts.
• A connectionist approach for learning search-control heuristics for automated deduction systems (Thesis, TU München, 1997)
• Learning search control-knowledge for equational deduction
• Towards Systematic Analysis of Theorem Provers Search Spaces: First Steps
• scientific article; zbMATH DE number 3982558 (Why is no real title available?)
• scientific article; zbMATH DE number 1980923 (Why is no real title available?)
• scientific article; zbMATH DE number 1552520 (Why is no real title available?)
• Experiments in the heuristic use of past proof experience
• scientific article; zbMATH DE number 1882060 (Why is no real title available?)
• Automatic acquisition of search guiding heuristics
• Fully reusing clause deduction algorithm based on standard contradiction separation rule
• Learning guided automated reasoning: a brief survey
• Octopus: combining learning and parallel search

Describes a project that uses

Uses Software

• TPTP
• OTTER

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 Q4529543)