Constraint Based Strategies

13 years 11 months ago
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.
Claude Kirchner, Florent Kirchner, Hél&egra
Added 27 Jul 2010
Updated 27 Jul 2010
Type Conference
Year 2009
Where WFLP
Authors Claude Kirchner, Florent Kirchner, Hélène Kirchner
Comments (0)