research
∙
08/11/2021
Stable Marriage Problems with Ties and Incomplete Preferences: An Empirical Comparison of ASP, SAT, ILP, CP, and Local Search Methods
We study a variation of the Stable Marriage problem, where every man and...
share
research
∙
08/10/2021
Knowledge-Based Stable Roommates Problem: A Real-World Application
The Stable Roommates problem with Ties and Incomplete lists (SRTI) is a ...
research
∙
08/07/2020
