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

Newton, MAHakim; Pham, Nghia; Sattar, Abdul; Maher, Michael

doi:10.1007/978-3-642-23786-7_49

View/Open

72196_1.pdf (338.6Kb)

Author

Year published

2011

Metadata

Show full item record

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.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.
View less >

Conference Title

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

Publisher URI

http://www.dmi.unipg.it/cp2011/papers.html

DOI

https://doi.org/10.1007/978-3-642-23786-7_49

Copyright Statement

© 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

Subject

Artificial Intelligence and Image Processing not elsewhere classified

Publication URI

http://hdl.handle.net/10072/40879

Collection

Conference outputs