Modeling Stable Matching Problems with Answer Set Programming

Sofie De Clercq, Steven Schockaert, Martine De Cock +1

The Stable Marriage Problem (SMP) is a well-known matching problem first introduced and solved by Gale and Shapley (1962). Several variants and extensions to this problem have sinc…