{"type":"ScholarlyArticle","title":"Making the Breakout Algorithm Complete Using Systematic Search","authors":[{"name":"Carlos Eisenberg","slug":"carlos-eisenberg","given":"Carlos","family":"Eisenberg","affiliation":""},{"name":"Boi Faltings","slug":"boi-faltings","given":"Boi","family":"Faltings","affiliation":""}],"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 tightly and overconstrained problems. We present a hybrid solving scheme where we combine a local search algorithm - the breakout algorithm, with a systematic search algorithm - backtracking. The breakout algorithm is used for identifying hard or unsolvable subproblems and the backtracking algorithm proves the solvability of these subproblems. The resulting hybrid algorithm is complete and is tested on randomly generated graph 3-colouring problems. The algorithm performs extremely well for all areas of the phase transition and outperforms the individual methods by several orders of magnitude.","doi":null,"url":"https://ijcai.org/proceedings/2003/203","pdf":"https://ijcai.org/proceedings/2003/0203.pdf","markdown":"https://ijcai.org/proceedings/2003/203.md","bibtex":"https://ijcai.org/proceedings/2003/bibtex/203","volume":{"slug":"2003","title":"Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2003","url":"https://ijcai.org/proceedings/2003/","year":2003,"location":"Acapulco, Mexico","dates":"","editors":"Georg Gottlob","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":203,"pages":{"first":1374,"last":1374},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}