Esra Erdem, Muge Fidan, David Manlove, Patrick Prosser
TL;DR介绍了 SRTI-ASP 这一 Answer Set Programming 的形式化框架,并使用其解决了 Stable Roommates problem 变体问题。
Abstract
The stable roommates problem (SR) is characterized by the preferences of agents over other agents as roommates: each agent ranks all others in strict order of preference. A solution to SR is then a partition of the agents into pairs so that each pair shares a room, and there is no pair