Skip to Main content Skip to Navigation
Directions of work or proceedings

Solution and reasoning reuse in space planning and scheduling applications

Abstract : In the space domain, as in other domains, the CSP (Constraint Satisfaction Problems) techniques are increasingly used to represent and solve planning and scheduling problems. But these techniques have been developed to solve CSPs which are composed of fixed sets of variables and constraints, whereas many planning and scheduling problems are dynamic. It is therefore important to develop methods which allow a new solution to be rapidly found, as close as possible to the previous one, when some variables or constraints are added or removed. After presenting some existing approaches, this paper proposes a simple and efficient method, which has been developed on the basis of the dynamic backtracking algorithm [1. This method allows previous solution and reasoning to be reused in the framework of a CSP which is close to the previous one. Some experimental results on general random CSPs and on operation scheduling problems for remote sensing satellites are given.
Document type :
Directions of work or proceedings
Complete list of metadata
Contributor : Migration ProdInra Connect in order to contact the contributor
Submitted on : Sunday, June 7, 2020 - 7:11:32 PM
Last modification on : Friday, March 18, 2022 - 3:32:48 AM


  • HAL Id : hal-02847227, version 1
  • PRODINRA : 136086



G. Verfaillie, Thomas Schiex. Solution and reasoning reuse in space planning and scheduling applications. 3. International Symposium on Artificial Intelligence, Robotics and Automatics for Space, 1994, Pasadena, United States. n.p., 1994. ⟨hal-02847227⟩



Record views