Kangaroo swMATH ID: 13503 Software Authors: M. A. Hakim Newton, Duc Nghia Pham, Abdul Sattar, Michael Maher Description: 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. Homepage: http://link.springer.com/chapter/10.1007/978-3-642-23786-7_49 Related Software: Gelisp; clasp; SUNNY; OR-tools; Oscar.cbls; fzn2smt; OscaR; Gecode; FlatZinc; MiniZinc; LocalSolver; ANTLR; COMET; SCIP Cited in: 2 Publications all top 5 Cited by 7 Authors 1 Björdal, Gustav 1 Flener, Pierre 1 Monette, Jean-Noël 1 Newton, M. A. Hakim 1 Pearson, Justin 1 Polash, Md Masbaul Alam 1 Sattar, Abdul Cited in 1 Serial 2 Constraints Cited in 1 Field 2 Operations research, mathematical programming (90-XX) Citations by Year