Abstract
Constraint programming is a powerful paradigm for solving constraint satisfaction problems, using various techniques. Amongst them, local search is a prominent methodology, particularly for large instances. However, it lacks uniformity, as it includes many variations accompanied by complex data structures, that cannot be easily brought under the same “umbrella.” In this work we embrace their wide diversity by adopting propagation algorithms. Our constraint based local search (CBLS) system provides declarative alternative tools to express search methods, by exploiting conflict-sets of constraints and variables. Their maintenance is straightforward as it does not employ queues, unlike the state of the art CBLS systems. Thus, the propagation complexity is kept linear in the number of changes required after each assignment. Experimental results illustrate the capabilities, not only of the already implemented methods, such as hill climbing, simulated annealing, etc., but also the robustness of the underlying propagation engine.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Barahona, P., Krippahl, L., Perriquet, O.: Bioinformatics: A challenge to constraint programming. In: Van Hentenryck, P., Milano, M. (eds.) Hybrid Optimization. Springer Opt. and Its Applications, vol. 45, pp. 463–487. Springer, New York (2011)
Chatzikokolakis, K., Boukeas, G., Stamatopoulos, P.: Construction and Repair: A Hybrid Approach to Search in CSPs. In: Vouros, G.A., Panayiotopoulos, T. (eds.) SETN 2004. LNCS (LNAI), vol. 3025, pp. 342–351. Springer, Heidelberg (2004)
Cohen, W., Greiner, R., Schuurmans, D.: Probabilistic hill-climbing. In: Hanson, S.J., Petsche, T., Kearns, M., Rivest, R.L. (eds.) Comp. Learn. Theory and Natural Learn. Syst., vol. II, pp. 171–181. The MIT Press, Cambridge (1994)
Di Gaspero, L., Schaerf, A.: EasyLocal++: An object-oriented framework for the flexible design of local-search algorithms. S/W Pract. Exp. 33(8), 733–765 (2003)
ECLiPSe constraint programming system (2011), http://eclipseclp.org
Fink, A., Voß, S.: HotFrame: A heuristic optimization framework. In: Voß, S., Woodruff, D. (eds.) Opt. S/W Cl. Lib., vol. 18, pp. 81–154. Kluwer, Boston (2002)
Gent, I.P., Walsh, T.: CSPlib: A Benchmark Library for Constraints. In: Jaffar, J. (ed.) CP 1999. LNCS, vol. 1713, pp. 480–481. Springer, Heidelberg (1999), http://CSPLib.org
Hoos, H.H., Tsang, E.: Local search methods. In: Rossi, et al. (eds.) [16], ch. 5, pp. 135–167
Ilog Solver (2010), http://ilog.com/products/cp
Kirkpatrick, S., Gelatt Jr., C.D., Vecchi, M.P.: Optimization by simulated annealing. Science 220(4598), 671–680 (1983)
Hakim Newton, M.A., Pham, D.N., Sattar, A., Maher, M.: Kangaroo: An Efficient Constraint-Based Local Search System Using Lazy Propagation. In: Lee, J. (ed.) CP 2011. LNCS, vol. 6876, pp. 645–659. Springer, Heidelberg (2011)
Pham, D.N., Thornton, J., Sattar, A.: Building structure into local search for SAT. In: Veloso, M.M. (ed.) IJCAI 2007, pp. 2359–2364. AAAI Press, Menlo Park (2007)
Pothitos, N.: Naxos Solver (2011), http://di.uoa.gr/~pothitos/naxos
Prosser, P., Unsworth, C.: Limited discrepancy search revisited. Journal of Experimental Algorithmics 16(1), 1.6:1–1.6:18 (2011)
Qu, R., Burke, E.K., McCollum, B., Merlot, L.T.G., Lee, S.Y.: A survey of search methodologies and automated system development for examination timetabling. Journal of Scheduling 12(1), 55–89 (2009)
Rossi, F., van Beek, P., Walsh, T. (eds.): Handbook of Constraint Programming. Foundations of Artificial Intelligence. Elsevier Science, Amsterdam (2006)
Sabin, D., Freuder, E.C.: Contradicting Conventional Wisdom in Constraint Satisfaction. In: Borning, A. (ed.) PPCP 1994. LNCS, vol. 874, pp. 10–20. Springer, Heidelberg (1994)
Schulte, C., Stuckey, P.J.: Efficient constraint propagation engines. ACM Transactions on Programming Languages and Systems 31(1), 2:1–2:43 (2008)
Smith, B.M.: Modelling. In: Rossi, et al. (eds.) [16], ch. 11, pp. 377–406
Stamatopoulos, P., Viglas, E., Karaboyas, S.: Nearly optimum timetable construction through CLP and intelligent search. Int’l J. on AI Tools 7(4), 415–442 (1998)
Tamura, N., Taga, A., Kitagawa, S., Banbara, M.: Compiling finite linear CSP into SAT. Constraints 14(2), 254–272 (2009)
Tsang, E.: A glimpse of constraint satisfaction. AI Review 13(3), 215–227 (1999)
Van Hentenryck, P., Michel, L.: Constraint-Based Local Search. Logic Programming. The MIT Press, Cambridge (2009)
Voudouris, C., Dorne, R., Lesaint, D., Liret, A.: iOpt: A Software Toolkit for Heuristic Search Methods. In: Walsh, T. (ed.) CP 2001. LNCS, vol. 2239, pp. 716–729. Springer, Heidelberg (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pothitos, N., Kastrinis, G., Stamatopoulos, P. (2012). Constraint Propagation as the Core of Local Search. In: Maglogiannis, I., Plagianakos, V., Vlahavas, I. (eds) Artificial Intelligence: Theories and Applications. SETN 2012. Lecture Notes in Computer Science(), vol 7297. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-30448-4_2
Download citation
DOI: https://doi.org/10.1007/978-3-642-30448-4_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-30447-7
Online ISBN: 978-3-642-30448-4
eBook Packages: Computer ScienceComputer Science (R0)