You are here

Rotation-Based Formulation for Stable Matching

Publication Type: 
Refereed Original Article
Abstract: 
We introduce new CP models for the many-to-many stable matching problem. We use the notion of rotation to give a novel encoding that is linear in the input size of the problem. We give extra filtering rules to maintain arc consistency in quadratic time. Our experimental study on hard instances of sex-equal and balanced stable matching shows the efficiency of one of our propositions as compared with the state-of-the-art constraint programming approach.
Digital Object Identifer (DOI): 
Not YET
Publication Status: 
In Press
Date Accepted for Publication: 
Monday, 12 June, 2017
Publication Date: 
01/09/2017
Journal: 
International Conference on Principles and Practice of Constraint Programming
Institution: 
National University of Ireland, Cork (UCC)
Open access repository: 
No
Publication document: