{"type":"ScholarlyArticle","title":"Symmetric Component Caching","authors":[{"name":"Matthew Kitching","slug":"matthew-kitching","given":"Matthew","family":"Kitching","affiliation":""},{"name":"Fahiem Bacchus","slug":"fahiem-bacchus","given":"Fahiem","family":"Bacchus","affiliation":""}],"abstract":"Caching, symmetries, and search with decomposition are powerful techniques for pruning the search space of constraint problems. In this paper we present an innovative way of efficiently combining these techniques with branch and bound for solving certain types of constraint optimization problems (COPs). Our new method significantly reduces the overhead of performing decomposition during search when dynamic variable orderings are employed. In addition, it supports the exploitation of dynamic symmetries that appear only during search. Symmetries have not previously been combined with decomposition. Finally, we achieve a superior integration of decomposition and caching with branch and bound than previous approaches. We test our methods on the Maximum Density Still Life problem and show that each of our ideas yields a significant gain in search performance.","doi":null,"url":"https://ijcai.org/proceedings/2007/17","pdf":"https://ijcai.org/proceedings/2007/0017.pdf","markdown":"https://ijcai.org/proceedings/2007/17.md","bibtex":"https://ijcai.org/proceedings/2007/bibtex/17","volume":{"slug":"2007","title":"Proceedings of the Twentieth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2007","url":"https://ijcai.org/proceedings/2007/","year":2007,"location":"Hyderabad, India","dates":"","editors":"Ramon López de Mántaras","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":17,"pages":{"first":118,"last":123},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}