Publikation

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.

Zusammenfassung

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.

Projekte

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