“…By considering a real-world resource allocation problem, we contribute to the study of formal properties of specific allocation processes in the field and the study of alternative mechanisms. Studies in this vein include those on entry-level labor markets (Roth, 1984;Roth and Peranson, 1999), school choice (Balinski and Sönmez, 1999;Abdulkadiroglu and Sönmez, 2003;Sönmez, 2008, 2013a), spectrum auctions (Milgrom, 2000), kidney exchange (Roth, Sönmez andÜnver, 2004, 2005, internet auctions (Edelman, Ostrovsky and Schwarz, 2007;Varian, 2007), course allocation (Sönmez andÜnver, 2010;Budish, 2011), cadet-branch matching (Sönmez and Switzer, 2013;Sönmez, 2013), assignment of airport arrival slots (Schummer and Vohra, 2013;Schummer and Abizada, 2017), and refugee resettlement (Jones and Teytelboym, 2017;Delacrétaz, Kominers and Teytelboym, 2016;Andersson, 2017).…”