David Manlove — accepted AI-conference papers

2025

MATWA: A Web Toolkit for Matching Under Preferences

AAAI 2025technical

Matching markets, in which agents are assigned to one another based on preferences and capacity constraints, are pervasive in various domains. This paper introduces MATWA (https://matwa.optimalmatching.com), a web application that offers the most comprehensive collection to date of algorithms for fu…

Cited by 0 Source ↗PDF ↗Scholar ↗

2024

Couples Can Be Tractable: New Algorithms and Hardness Results for the Hospitals/Residents Problem with Couples

Gergely Csáji, David Manlove, Iain McBride, James Trimble

IJCAI 2024poster

In this paper we study the Hospitals/Residents problem with Couples (HRC), where a solution is a stable matching or a report that none exists. We present a novel polynomial-time algorithm that can find a near-feasible stable matching (adjusting the hospitals' capacities by at most 1) in an HRC ins…

Cited by 3 Source ↗PDF ↗Scholar ↗