@techReport{Manlove:2008:8488,
	      Author = {Manlove,D.F.;O'Malley,G.;Prosser,P.;Unsworth,C.},
	       Institution = {University of Glasgow, Department of Computing Science},
                          Title = {A Constraint Programming Approach to the Hospitals / Residents Problem}, 
                          ISBN =
	      {TR-2007-236},
	      abstract = {An instance <i>I</i> of the Hospitals / Residents problem (HR) involves a set of residents (graduating medical students) and a set of hospitals, where each hospital has a given capacity. The residents have preferences for the hospitals, as do hospitals for residents. A solution of <i>I</i> is a <i>stable matching</i>, which is an assignment of residents to hospitals that respects the capacity conditions and preference lists in a precise way. In this paper we present constraint encodings for HR that give rise to important structural properties. We also present a computational study using both randomly-generated and real-world instances. Our study suggests that Constraint Programming is indeed an applicable technology for solving this problem, in terms of both theory and practice.},Publisher =
	      {Dept of Computing Science, University of Glasgow},
	      Year = {2007}}