Dynamic constraint ordering heuristics for dynamic CSPs

Many research studies have shown that the choice of a relevant order of variables and/or values can significantly improve the efficiency of search algorithms. However, in Constraint Satisfaction Problems CSPs, constraint ordering heuristics have received less attention than variables and values ordering heuristics. In the literature, only some few contributions have been done on this area, and mainly as a preprocessing phase before starting the search process. In this paper, we show that constraint ordering heuristics are promising and able to make relevant choices during the search process within a Dynamic CSP . Our proposed approach, called Dynamic Constraint Ordering heuristic DCO, selects dynamically constraints which are likely to lead to conflicts. So, we apply a ”fail first” principle, in a manner that a dynamic intelligent backtracking event can be performed earlier. This method is able to guide a dynamic repair algorithm towards the hardest constraint subproblems and to tackle inconsistencies in order to correct solution assignment. The conducted experiments have confirmed that the proposed approach is interesting. Our results show clearly the efficiency of the heuristics combined with Partial-Order Dynamic Backtracking 6890 Saida Hammoujan et al. algorithm PDB on Meeting Scheduling Problems. The algorithms have been tested in terms of run-time, constraints checks and solution stabil-

[1]  Eugene C. Freuder In Pursuit of the Holy Grail , 1996, CSUR.

[2]  Jörg-Rüdiger Sack,et al.  A meeting scheduling problem respecting time and space , 2008, GeoInformatica.

[3]  erard Verfaillie Dynamic Backtracking for Dynamic Constraint Satisfaction Problems , 1994 .

[4]  Matthew L. Ginsberg,et al.  GSAT and dynamic backtracking , 1994, KR 1994.

[5]  Norman M. Sadeh,et al.  Variable and Value Ordering Heuristics for the Job Shop Scheduling Constraint Satisfaction Problem , 1996, Artif. Intell..

[6]  Miguel A. Salido,et al.  A non-binary constraint ordering heuristic for constraint satisfaction problems , 2008, Appl. Math. Comput..

[7]  Amnon Meisels,et al.  Hybrid search for minimal perturbation in Dynamic CSPs , 2011, Constraints.

[8]  Toby Walsh,et al.  The Constrainedness of Arc Consistency , 1997, CP.

[9]  Eugene C. Freuder,et al.  Ordering Heuristics for Arc Consistency Algorithms , 1992 .

[10]  Matthew L. Ginsberg,et al.  Dynamic Backtracking , 1993, J. Artif. Intell. Res..

[11]  Rob Sherwood,et al.  Using Iterative Repair to Improve the Responsiveness of Planning and Scheduling , 2000, AIPS.

[12]  Imade Benelallam,et al.  Extended Partial-Order Dynamic Backtracking Algorithm for Dynamically Changed Environments , 2012, 2012 IEEE 24th International Conference on Tools with Artificial Intelligence.

[13]  Rina Dechter,et al.  Belief Maintenance in Dynamic Constraint Networks , 1988, AAAI.

[14]  Thomas Schiex,et al.  Solution Reuse in Dynamic Constraint Satisfaction Problems , 1994, AAAI.

[15]  Eugene C. Freuder,et al.  Stable Solutions for Dynamic Constraint Satisfaction Problems , 1998, CP.

[16]  Miguel A. Salido,et al.  Constrainedness and Redundancy by Constraint Ordering , 2004, IBERAMIA.

[17]  Qiang Shen,et al.  Dynamic Flexible Constraint Satisfaction , 2000, Applied Intelligence.

[18]  Eugene C. Freuder,et al.  Solving Dynamic Constraint Satisfaction Problems by Identifying Stable Features , 2009, IJCAI.