Abstract
Local search algorithms have been very successful for solving constraint satisfaction problems (CSP). However, a major weakness has been that local search is unable to detect unsolvability and is thus not suitable for highly constrained or overconstrained problems. In this paper, we present a scheme where a local search algorithm, the breakout algorithm, is used to identify hard or unsolvable subproblems and to derive a variable ordering that places the hardest subproblems first.
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
Davenport, A., Tsang, E.P.K.: An empirical investigation into the exceptionally hard problems. Technical Report CSM-239, Department of Computer Science, University of Essex, U.K (1995)
Eisenberg, C., Faltings, B.: Using the Breakout Algorithm to Identify Hard and Unsolvable Subproblems. Technical Report IC-2003-46, Swiss Federal Institute of Technology (EPFL), Switzerland (2003), http://ic2.epfl.ch/publications/documents/IC_TECH_REPORT_200346.pdf
Faltings, B., Macho-Gonzalez, S.: Open Constraint Satisfaction. In: Proc. of the 8th International Conference on Principles and Practice of Constraints Programming (2002)
Minton, S., Johnston, M., Philips, A., Laird, P.: Minimizing Conflicts: A Heuristic Repair Method for Constraint Satisfaction and Scheduling Problems. Artificial Intelligence 58, 161–205 (1992)
Morris, P.: The breakout method for escaping from local minima. In: Proc. of the 11th National Conf. on Artificial Intelligence, Washington, DC, pp. 40–45 (1993)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Eisenberg, C., Faltings, B. (2003). Using the Breakout Algorithm to Identify Hard and Unsolvable Subproblems. In: Rossi, F. (eds) Principles and Practice of Constraint Programming – CP 2003. CP 2003. Lecture Notes in Computer Science, vol 2833. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45193-8_60
Download citation
DOI: https://doi.org/10.1007/978-3-540-45193-8_60
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20202-8
Online ISBN: 978-3-540-45193-8
eBook Packages: Springer Book Archive