Skip to main content Skip to main navigation


MULTI: A Multi-Strategy Proof Planner

Andreas Meier; Erica Melis
In: R. Nieuwenhuis (Hrsg.). Proceedings of the 20th Conference on Automated Deduction (CADE--20). International Conference on Automated Deduction (CADE), Tallinn, Pages 250-254, LNAI, Vol. 3632, Springer Verlag, Berlin, Germany, 2005.


Multi-Strategy proof planning extends proof planning by the additional hierarchical level of strategies and their control. This paper presents its implementation in the MULTI system.