Kangaroo: An Efficient Constraint-Based Local Search System Using Lazy Propagation

In this paper, we introduce Kangaroo, a constraint-based local search system. While existing systems such as Comet maintain invariants after every move, Kangaroo adopts a lazy strategy, updating invariants only when they are needed. Our empirical evaluation shows that Kangaroo consistently has a smaller memory footprint than Comet, and is usually significantly faster.

[1]  Laurence A. Wolsey,et al.  Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 4th International Conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007, Proceedings , 2007, CPAIOR.

[2]  Abdul Sattar,et al.  Building Structure into Local Search for SAT , 2007, IJCAI.

[3]  Raphaël Dorne,et al.  iOpt: A Software Toolkit for Heuristic Search Methods , 2001, CP.

[4]  Bowen Alpern,et al.  Incremental evaluation of computational circuits , 1990, SODA '90.

[5]  David L. Woodruff,et al.  Optimization software class libraries , 2002 .

[6]  Frédéric Benhamou.  Principles and Practice of Constraint Programming - CP 2006, 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings , 2006, CP.

[7]  Stefan Voß,et al.  Hotframe: A Heuristic Optimization Framework , 2003 .

[8]  Pascal Van Hentenryck,et al.  Differentiable Invariants , 2006, CP.

[9]  Alexander Nareyek,et al.  Constraint-Based Agents , 2001, Lecture Notes in Computer Science.

[10]  Pascal Van Hentenryck,et al.  Control Abstractions for Local Search , 2003, CP.

[11]  Scott E. Hudson,et al.  Incremental attribute evaluation: a flexible algorithm for lazy update , 1991, TOPL.

[12]  Pascal Van Hentenryck,et al.  Constraint-Based Local Search for Constrained Optimum Paths Problems , 2010, CPAIOR.

[13]  Pascal Van Hentenryck,et al.  Constraint-Based Local Search for the Automatic Generation of Architectural Tests , 2009, CP.

[14]  Alexander Nareyek.  Using global constraints for local search , 1998, Constraint Programming and Large Scale Discrete Optimization.

[15]  Toby Walsh,et al.  Principles and Practice of Constraint Programming — CP 2001: 7th International Conference, CP 2001 Paphos, Cyprus, November 26 – December 1, 2001 Proceedings , 2001, Lecture Notes in Computer Science.

[16]  Pascal Van Hentenryck,et al.  Control Abstractions for Local Search , 2003, Constraints.

[17]  Roberto Rossi,et al.  Synthesizing Filtering Algorithms for Global Chance-Constraints , 2009, CP.

[18]  Alexander Nareyek,et al.  Review: Intelligent Agents for Computer Games , 2000, Computers and Games.

[19]  Richard J. Wallace,et al.  Constraint Programming and Large Scale Discrete Optimization , 2001 .

[20]  Luca Di Gaspero,et al.  EASYLOCAL++: an object‐oriented framework for the flexible design of local‐search algorithms , 2003, Softw. Pract. Exp..