Multiset Ordering Constraints

Frisch, Alan M.; Miguel, Ian; Kiziltan, Zeynep; Hnich, Brahim; Walsh, Toby

Multiset Ordering Constraints

Alan M. Frisch, Ian Miguel, Zeynep Kiziltan, Brahim Hnich, Toby Walsh

Download BibTeX Cite

Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence. Pages 221-225.

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.

Alan M. Frisch, Ian Miguel, Zeynep Kiziltan, Brahim Hnich, and Toby Walsh. 2003. Multiset Ordering Constraints. In Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, IJCAI-03. IJCAI, 221–225. https://ijcai.org/proceedings/2003/32

@inproceedings{ijcai2003p32,
  title     = {Multiset Ordering Constraints},
  author    = {Frisch, Alan M. and Miguel, Ian and Kiziltan, Zeynep and Hnich, Brahim and Walsh, Toby},
  booktitle = {Proceedings of the Eighteenth International Joint Conference on
               Artificial Intelligence, {IJCAI-03}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Georg Gottlob},
  pages     = {221--225},
  year      = {2003},
  url       = {https://ijcai.org/proceedings/2003/32},
}

TY  - CPAPER
TI  - Multiset Ordering Constraints
AU  - Frisch, Alan M.
AU  - Miguel, Ian
AU  - Kiziltan, Zeynep
AU  - Hnich, Brahim
AU  - Walsh, Toby
T2  - Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, IJCAI-03
PB  - International Joint Conferences on Artificial Intelligence
PY  - 2003
SP  - 221
EP  - 225
UR  - https://ijcai.org/proceedings/2003/32
ER  -