Publication
Failure-Reasoning in Multi-Strategy Proof Planning
Andreas Meier; Erica Melis
In: Proceedings of The 12th Workshop on Automated Reasoning (ARW 2005)-- Bridging the gap between theory and practice. Workshop on Automated Reasoning (ARW), Edinburgh, 2005.
Abstract
Knowledge how to overcome and react to impasses and other failures is an important ingredient of successful mathematical problem solving. This paper briefly discusses the realization of failure-reasoning in the multi-strategy proof planner MULTI.