{"type":"ScholarlyArticle","title":"Multiset Ordering Constraints","authors":[{"name":"Alan M. Frisch","slug":"alan-m-frisch","given":"Alan M.","family":"Frisch","affiliation":""},{"name":"Ian Miguel","slug":"ian-miguel","given":"Ian","family":"Miguel","affiliation":""},{"name":"Zeynep Kiziltan","slug":"zeynep-kiziltan","given":"Zeynep","family":"Kiziltan","affiliation":""},{"name":"Brahim Hnich","slug":"brahim-hnich","given":"Brahim","family":"Hnich","affiliation":""},{"name":"Toby Walsh","slug":"toby-walsh","given":"Toby","family":"Walsh","affiliation":""}],"abstract":"We identify a new and important global (or nonbinary) constraint which ensures that the values taken by two vectors of variables, when viewed as multisets, are ordered. This constraint is useful for a number of different applications including breaking symmetry and fuzzy constraint satisfaction. We propose and implement a linear time algorithm for enforcing generalised arc-consistency on such a multiset ordering constraint. Experimental results show considerable promise.","doi":null,"url":"https://ijcai.org/proceedings/2003/32","pdf":"https://ijcai.org/proceedings/2003/0032.pdf","markdown":"https://ijcai.org/proceedings/2003/32.md","bibtex":"https://ijcai.org/proceedings/2003/bibtex/32","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":32,"pages":{"first":221,"last":225},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}