scientific article; zbMATH DE number 1552520

MaRDI QIDQ4524780zbMATH OpenFDO

Authors

Publication date 15 January 2001

zbMATH Keywords

control heuristics for theorem provers

Mathematics Subject Classification ID

Recommendations

• scientific article; zbMATH DE number 1737186
• Machine learning for first-order theorem proving
• Learning search control-knowledge for equational deduction
• scientific article; zbMATH DE number 1882060
• Automatic acquisition of search control knowledge from multiple proof attempts.

Cited in

(9)

• Set of support, demodulation, paramodulation: a historical perspective
• Learning search control-knowledge for equational deduction
• Similarity-Based Equality with Lazy Evaluation
• scientific article; zbMATH DE number 3945373 (Why is no real title available?)
• scientific article; zbMATH DE number 1737186 (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?)
• scientific article; zbMATH DE number 2099381 (Why is no real title available?)
• Controlled use of clausal lemmas in connection tableau calculi

Describes a project that uses

Uses Software

• TPTP

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