Kangaroo: an efficient constraint-based local search system using lazy propagation
作者： M Newton , Duc Pham , Abdul Sattar , Michael Maher
DOI: 10.1007/978-3-642-23786-7_49
关键词:
摘要: 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 lazy strategy, updating only when they are needed. Our empirical evaluation shows that consistently has smaller memory footprint than Comet, and is usually significantly faster.
springer.com
core.ac.uk
sci-hub.st 参考文章(20)
Andreas Fink, Stefan Voß, Hotframe: A Heuristic Optimization Framework Springer, Boston, MA. pp. 81- 154 ,(2003) , 10.1007/0-306-48126-X_4
Stefan Voß, David L. Woodruff, Optimization software class libraries Springer, Boston, MA. pp. 1- 24 ,(2002) , 10.1007/0-306-48126-X_1
Alexander Nareyek, Using global constraints for local search DIMACS workshop on on Constraint programming and large scale discrete optimization. pp. 9- 28 ,(2000)
Duc Nghia Pham, John Thornton, Abdul Sattar, Building structure into local search for SAT international joint conference on artificial intelligence. pp. 2359- 2364 ,(2007)
Christos Voudouris, Raphael Dorne, David Lesaint, Anne Liret, iOpt: A Software Toolkit for Heuristic Search Methods Principles and Practice of Constraint Programming — CP 2001. pp. 716- 729 ,(2001) , 10.1007/3-540-45578-7_58
Pascal Van Hentenryck, Laurent Michel, Constraint-based local search ,(2005)
Quang Dung Pham, Yves Deville, Pascal Van Hentenryck, Constraint-Based Local Search for Constrained Optimum Paths Problems Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems. ,vol. 6140, pp. 267- 281 ,(2010) , 10.1007/978-3-642-13520-0_29
Pascal Van Hentenryck, Carleton Coffrin, Boris Gutkovich, Constraint-based local search for the automatic generation of architectural tests principles and practice of constraint programming. pp. 787- 801 ,(2009) , 10.1007/978-3-642-04244-7_61
Scott E. Hudson, Incremental attribute evaluation: a flexible algorithm for lazy update ACM Transactions on Programming Languages and Systems. ,vol. 13, pp. 315- 341 ,(1991) , 10.1145/117009.117012