A Mixed Closure-CSP Method to Solve Scheduling Problems

Scheduling problems can be seen as a set of temporal metric and disjunctive constraints. So, they can be formulated in terms of CSPs techniques. In the literature, there are CSP-based methods which interleave (sequentially) searching efforts with the application of consistency enforcing mechanisms and variable/ordering heuristics. Thus, the number of backtrackings needed to obtain a solution is reduced. Alternatively, in this paper, we propose a new method that integrates effectively the CSP process into a limited closure process: not interleaving them but as a part of the same process. Such integration allows us to define better informed heuristics. They are used to limit the complete closure process applied, with a maximum number of disjunctions allowed, and so reduce their complexity, while reducing the search space. We can also maintain more time open disjunctive solutions in the CSP process, limiting the number of backtrackings realized, and avoiding to know all problem constrain...

• Type: Conference
• Year: 2001
• Where: IEAAIE
• Authors: María Isabel Alfonso Galipienso, Federico Barber Sanchís
• Keywords: Artificial Intelligence, Closure Process, CSP Process, Disjunctive Constraints, IEAAIE 2001