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.


Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence