Academic
Publications
Constraint Based Strategies

Constraint Based Strategies,10.1007/978-3-642-11999-6_2,Claude Kirchner,Florent Kirchner,Hélène Kirchner

Constraint Based Strategies  
BibTex | RIS | RefWorks Download
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 defined 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 different parts of a strategy. This procedure allows us to express elaborate strategies in a declarative and reusable way.
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.