{"type":"ScholarlyArticle","title":"Local Consistency for Ternary Numeric Constraints","authors":[{"name":"Boi Faltings","slug":"boi-faltings","given":"Boi","family":"Faltings","affiliation":""},{"name":"Esther M. Gelle","slug":"esther-m-gelle","given":"Esther M.","family":"Gelle","affiliation":""}],"abstract":"We consider algorithms of the Waltz type for computing local consistency (also called arcconsistency) for constraints over numeric domains. Many commonly used propagation rules do not in fact enforce local consistency. We extend the propa&ation rule given by Faltings [Faltings, 1994j to the case of ternary constraints. Since any general n-ary continuous constraint can be represented as a collection of ternary ones, this also covers n-ary constraints in general. We show how the propagation can be implemented efficiently. The new algorithm gives significantly tighter labellings than previous propagation algorithms on most problems.","doi":null,"url":"https://ijcai.org/proceedings/1997/58","pdf":"https://ijcai.org/proceedings/1997/0058.pdf","markdown":"https://ijcai.org/proceedings/1997/58.md","bibtex":"https://ijcai.org/proceedings/1997/bibtex/58","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":58,"pages":{"first":392,"last":396},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}