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.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 3 articles )

Showing results 1 to 3 of 3.
Sorted by year (citations)

  1. Polash, Md Masbaul Alam; Newton, M. A. Hakim; Sattar, Abdul: Constraint-directed search for all-interval series (2017)
  2. Björdal, Gustav; Monette, Jean-Noël; Flener, Pierre; Pearson, Justin: A constraint-based local search backend for MiniZinc (2015)
  3. Newton, M. A. Hakim; Pham, Duc Nghia; Sattar, Abdul; Maher, Michael: Kangaroo: An efficient constraint-based local search system using lazy propagation (2011) ioport