{"type":"ScholarlyArticle","title":"Constraint Satisfaction over Connected Row Convex Constraints","authors":[{"name":"Yves Deville","slug":"yves-deville","given":"Yves","family":"Deville","affiliation":""},{"name":"Olivier Barette","slug":"olivier-barette","given":"Olivier","family":"Barette","affiliation":""},{"name":"Pascal Van Hentenryck","slug":"pascal-van-hentenryck","given":"Pascal","family":"Van Hentenryck","affiliation":""}],"abstract":"In this paper, we study constraint satisfaction over connected row convex (CRC) constraints, a large class of constraints subsuming, in particular , monotone constraints. We first show that CRC constraints are closed under composition, intersection, and transposition, the basic operations of path-consistency algorithms. This establishes that path consistency over CRC constraints produces a minimal and decomposable network, strenghtening the results of van Beek and Dechter [1995]. We then present a path-consistency algorithm for CRC constraints running in time 0( n 3 d2 ) and space O(n 2 d), where n is th e number of variables and d is the size of the largest domain. This improves the traditional time complexity O(n3 d3 ) and space complexity O(n3 d2 ) . Finally, we show that a solution can be found in time O(n 2 ), once the graph is path-consistent.","doi":null,"url":"https://ijcai.org/proceedings/1997/60","pdf":"https://ijcai.org/proceedings/1997/0060.pdf","markdown":"https://ijcai.org/proceedings/1997/60.md","bibtex":"https://ijcai.org/proceedings/1997/bibtex/60","volume":{"slug":"1997","title":"Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1997","url":"https://ijcai.org/proceedings/1997/","year":1997,"location":"Nagoya, Japan","dates":"","editors":"Martha E. Pollack","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Constraint Satisfaction","track":"Constraint Satisfaction","number":60,"pages":{"first":405,"last":410},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}