Multiset ordering constraints

Authors:
Alan Frisch;Ian Miguel;Zeynep Kiziltan;Brahim Hnich;Toby Walsh
Affiliations:
Dept. of Computer Science, University of York, England;Dept. of Computer Science, University of York, England;Dept. of Information Science, Uppsala University, Sweden;Cork Constraint Computation Centre, University College Cork, Ireland;Cork Constraint Computation Centre, University College Cork, Ireland
Venue:
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Year:
2003

Citing 7
Cited 7

A filtering algorithm for constraints of difference in CSPs

AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
Constraint Programming in OPL

PPDP '99 Proceedings of the International Conference PPDP'99 on Principles and Practice of Declarative Programming
Symmetry Breaking

CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Global Constraints for Lexicographic Orderings

CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Breaking Row and Column Symmetries in Matrix Models

CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Valued constraint satisfaction problems: hard and easy problems

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Generalized arc consistency for global cardinality constraint

AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1

Thesis: symmetry breaking ordering constraints

AI Communications
Symmetry Breaking Constraints for Value Symmetries in Constraint Satisfaction

Constraints
Symmetry breaking ordering constraints: Thesis

AI Communications
Filtering algorithms for the multiset ordering constraint

Artificial Intelligence
New constraint programming approaches for the computation of leximin-optimal solutions in constraint networks

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
On the complexity and completeness of static constraints for breaking row and column symmetry

CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
Increasing symmetry breaking by preserving target symmetries

CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming

Quantified Score

Hi-index	0.01

Visualization

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.