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

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

Author

Newton, M.A.Hakim; Pham, Nghia; Sattar, Abdul; Maher, Michael

Publication Title

Proceedings of 17th International Conference on Principles and Practice of Constraint Programming (CP2011)

Editor

Jimmy Lee

Year Published

2011

Place of publication

United Kingdom

Publisher

Springer

Abstract

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.

Copyright 2011 Springer Berlin / Heidelberg. This is the author-manuscript version of this paper. Reproduced in accordance with the copyright policy of the publisher. The original publication is available at www.springerlink.com

ISBN

1611-3349

Conference name

17th International Conference on Principles and Practice of Constraint Programming (CP2011)