International audienceIn the domain of classical planning one distinguishes plans which are optimal in their number of actions, they are referred as sequential plans, from plans which are optimal in their number of levels, they are referred as parallel plans. Searching optimal sequential plans is generally considered harder than searching optimal parallel plans. Büttner and Rintanen have proposed a search procedure which computes plans whose numbers of levels are fixed and whose numbers of actions are minimal. This procedure is notably used to calculate optimal sequential plans, starting from an optimal parallel plan. In this paper we describe a similar approach, which we have developed from the planner FDP. The idea consists in maintaining...
International audienceWe present in this paper a hybrid planning system which combines constraint sa...
AbstractThis paper presents an integrated view of a wide range of planning systems derived from diff...
In this dissertation, we present a parallel decomposition method to address the complexity of solvi...
International audienceIn the domain of classical planning one distinguishes plans which are optimal ...
International audienceIn the domain of classical planning one distinguishes plans which are optimal ...
International audienceIn the domain of planning, searching for optimal plans gives rise to many work...
International audienceIn the domain of planning, searching for optimal plans gives rise to many work...
International audienceIn the domain of planning, searching for optimal plans gives rise to many work...
International audienceWe present in this paper a hybrid planning system which combines constraint sa...
AbstractWe address two aspects of constructing plans efficiently by means of satisfiability testing:...
AbstractThis paper presents an integrated view of a wide range of planning systems derived from diff...
AbstractWe address two aspects of constructing plans efficiently by means of satisfiability testing:...
We address two aspects of constructing plans efficiently by means of satisfiability testing: efficie...
International audienceWe present in this paper a hybrid planning system which combines constraint sa...
International audienceWe present in this paper a hybrid planning system which combines constraint sa...
International audienceWe present in this paper a hybrid planning system which combines constraint sa...
AbstractThis paper presents an integrated view of a wide range of planning systems derived from diff...
In this dissertation, we present a parallel decomposition method to address the complexity of solvi...
International audienceIn the domain of classical planning one distinguishes plans which are optimal ...
International audienceIn the domain of classical planning one distinguishes plans which are optimal ...
International audienceIn the domain of planning, searching for optimal plans gives rise to many work...
International audienceIn the domain of planning, searching for optimal plans gives rise to many work...
International audienceIn the domain of planning, searching for optimal plans gives rise to many work...
International audienceWe present in this paper a hybrid planning system which combines constraint sa...
AbstractWe address two aspects of constructing plans efficiently by means of satisfiability testing:...
AbstractThis paper presents an integrated view of a wide range of planning systems derived from diff...
AbstractWe address two aspects of constructing plans efficiently by means of satisfiability testing:...
We address two aspects of constructing plans efficiently by means of satisfiability testing: efficie...
International audienceWe present in this paper a hybrid planning system which combines constraint sa...
International audienceWe present in this paper a hybrid planning system which combines constraint sa...
International audienceWe present in this paper a hybrid planning system which combines constraint sa...
AbstractThis paper presents an integrated view of a wide range of planning systems derived from diff...
In this dissertation, we present a parallel decomposition method to address the complexity of solvi...