Kangaroo: An Efficient Constraint-Based Local Search System using Lazy Propagation
MetadataShow full item record
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.
Proceedings of 17th International Conference on Principles and Practice of Constraint Programming (CP2011)
© 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
Artificial Intelligence and Image Processing not elsewhere classified