Abstract
Constraint programming allows to solve constraint satisfaction and optimization problems by building and then exploring a search tree of potential solutions. Potential solutions are generated by firstly selecting a variable and then a value from the given problem. The enumeration strategy is responsible for selecting the order in which those variables and values are selected to produce a potential solution. There exist different ways to perform this selection, and depending on the quality of this decision, the efficiency of the solving process may dramatically vary. A main concern in this context is that the behavior of the strategy is notably hard to predict. In this paper, we present a performance evaluation of 24 enumeration strategies for solving constraint satisfaction problems. Our goal is to provide new and interesting knowledge about the behavior of such strategies. To this end, we employ a set of well-known benchmarks that collect general features that may be present on most constraint satisfaction and optimization problems. We believe this information will be useful to help users making better solving decisions when facing new problems.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
The ECLiPSe Constraint Programming System (2008), http://www.eclipse-clp.org/ (visited January 2015)
Apt, K.R.: Principles of Constraint Programming. Cambridge University Press (2003)
Borkowski, J.: Network inclusion probabilities and horvitz-thompson estimation for adaptive simple latin square sampling. Environmental and Ecological Statistics 6(3), 291–311 (1999)
Crawford, B., Castro, C., Monfroy, E., Soto, R., Palma, W., Paredes, F.: Dynamic Selection of Enumeration Strategies for Solving Constraint Satisfaction Problems. Rom. J. Inf. Sci. Tech. 15(2), 421–430 (2012)
Davies, R.: On langford’s problem (II). Math. Gaz. 43, 253–255 (1959)
Rossi, F.: Handbook of Constraint Programming. Elsevier (2006)
Hoffman, E., Loessi, J., Moore, R.: Construction for the solutions of the m queens problem. Mathematics Magazine 42(2), 62–72 (1969)
Kjellerstrand, H.: Hakank’s home page, http://www.hakank.org/eclipse/quasigroup_completion.ecl (visited January 2015)
Lambert, T., Monfroy, E., Saubion, F.: A generic framework for local search: Application to the sudoku problem. In: Alexandrov, V.N., van Albada, G.D., Sloot, P.M.A., Dongarra, J. (eds.) ICCS 2006. LNCS, vol. 3991, pp. 641–648. Springer, Heidelberg (2006)
Lin, S.-S., Wei, C.-L.: Optimal algorithms for constructing knight’s tours on arbitrary chessboards. Discrete Applied Mathematics 146(3), 219–232 (2005)
Soto, R., Crawford, B., Galleguillos, C., Monfroy, E., Paredes, F.: A hybrid ac3-tabu search algorithm for solving sudoku puzzles. Expert Syst. Appl. 40(15), 5817–5821 (2013)
Westbury, B.W.: Sextonions and the magic square. Journal of the London Mathematical Society 73(2), 455–474 (2006)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Soto, R., Crawford, B., Olivares, R., Herrera, R., Johnson, F., Paredes, F. (2015). Enumeration Strategies for Solving Constraint Satisfaction Problems: A Performance Evaluation. In: Silhavy, R., Senkerik, R., Oplatkova, Z., Prokopova, Z., Silhavy, P. (eds) Artificial Intelligence Perspectives and Applications. Advances in Intelligent Systems and Computing, vol 347. Springer, Cham. https://doi.org/10.1007/978-3-319-18476-0_18
Download citation
DOI: https://doi.org/10.1007/978-3-319-18476-0_18
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-18475-3
Online ISBN: 978-3-319-18476-0
eBook Packages: EngineeringEngineering (R0)