{"type":"ScholarlyArticle","title":"Value Ordering for Finding All Solutions","authors":[{"name":"Barbara M. Smith","slug":"barbara-m-smith","given":"Barbara M.","family":"Smith","affiliation":""},{"name":"Paula Sturdy","slug":"paula-sturdy","given":"Paula","family":"Sturdy","affiliation":""}],"abstract":"In finding all solutions to a constraint satisfaction problem, or proving that there are none, with a search algorithm that backtracks chronologically and forms k-way branches, the order in which the values are assigned is immaterial. However, we show that if the values of a variable are assigned instead via a sequence of binary choice points, and the removal of the value just tried from the domain of the variable is propagated before another value is selected, the value ordering can affect the search effort. We show that this depends on the problem constraints; for some types of constraints, we show that the savings in search effort can be significant, given a good value ordering.","doi":null,"url":"https://ijcai.org/proceedings/2005/132","pdf":"https://ijcai.org/proceedings/2005/0132.pdf","markdown":"https://ijcai.org/proceedings/2005/132.md","bibtex":"https://ijcai.org/proceedings/2005/bibtex/132","volume":{"slug":"2005","title":"Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2005","url":"https://ijcai.org/proceedings/2005/","year":2005,"location":"Edinburgh, Scotland, UK","dates":"","editors":"","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":132,"pages":{"first":311,"last":315},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}