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
References in zbMATH (referenced in 3 articles )
Showing results 1 to 3 of 3.
- Polash, Md Masbaul Alam; Newton, M. A. Hakim; Sattar, Abdul: Constraint-directed search for all-interval series (2017)
- Björdal, Gustav; Monette, Jean-Noël; Flener, Pierre; Pearson, Justin: A constraint-based local search backend for MiniZinc (2015)
- Newton, M. A. Hakim; Pham, Duc Nghia; Sattar, Abdul; Maher, Michael: Kangaroo: An efficient constraint-based local search system using lazy propagation (2011) ioport