Constraint Based Strategies

Numerous computational and deductive frameworks use the notion of strategy to guide reduction and search space exploration, making the macro scale control of micro operations an explicit object of interest. In recent works, abstract strategies have been dened in extension but also intensionally. In this paper we complete these views with a new declarative approach based on constraints, which are used to model the dierent parts of a strategy. This procedure allows us to express elaborate strategies in a declarative and reusable way.

• Type: Conference
• Year: 2009
• Where: WFLP
• Authors: Claude Kirchner, Florent Kirchner, Hélène Kirchner
• Keywords: Deductive Frameworks, Macro Scale Control, Search Space Exploration, WFLP 2009