Proof Planning with Multiple Strategies

The control in multi-strategy proof planning goes beyond the control in other automated theorem proving approaches: not only the selection of the inference and the facts for the next step can be guided by domain-specific heuristics but also the

• Type: Conference
• Year: 2000
• Where: CL
• Authors: Erica Melis, Andreas Meier
• Keywords: Automated Reasoning, CL 2000, Domain-specific Heuristics, Multi-strategy Proof Planning, Theorem Proving Approaches