David Manlove Gregg O'Malley Patrick Prosser Chris Unsworth A Constraint Programming Approach to the Hospitals / Residents Problem. 155-170 2007 conf/cpaior/2007 CPAIOR http://dx.doi.org/10.1007/978-3-540-72397-4_12 db/conf/cpaior/cpaior2007.html#ManloveOPU07