Multiset Ordering Constraints
Artificial Intelligence
2009-05-26 v1
Abstract
We identify a new and important global (or non-binary) constraint. This constraint 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 an efficient linear time algorithm for enforcing generalised arc consistency on such a multiset ordering constraint. Experimental results on several problem domains show considerable promise.
Cite
@article{arxiv.0905.3769,
title = {Multiset Ordering Constraints},
author = {Alan M. Frisch and Ian Miguel and Zeynep Kiziltan and Brahim Hnich and Toby Walsh},
journal= {arXiv preprint arXiv:0905.3769},
year = {2009}
}
Comments
Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence (IJCAI-03)