Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A General Framework for Stable Roommates Problems using Answer Set
  Programming   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 of agents that
would block this matching (i.e., who prefers the other to their roommate in the
matching). There are interesting variations of SR that are motivated by
applications (e.g., the preference lists may be incomplete (SRI) and involve
ties (SRTI)), and that try to find a more fair solution (e.g., Egalitarian SR).
Unlike the Stable Marriage problem, every SR instance is not guaranteed to have
a solution. For that reason, there are also variations of SR that try to find a
good-enough solution (e.g., Almost SR). Most of these variations are NP-hard.
We introduce a formal framework, called SRTI-ASP, utilizing the logic
programming paradigm Answer Set Programming, that is provable and general
enough to solve many of such variations of SR. Our empirical analysis shows
that SRTI-ASP is also promising for applications. This paper is under
consideration for acceptance in TPLP.

17
The categories of this paper are: q-fin
37
The categories of this paper are: supr-con
4
The categories of this paper are: cond-mat
28
The categories of this paper are: alg-geom
12
The categories of this paper are: nucl-th
31
The categories of this paper are: ao-sci
29
The categories of this paper are: funct-an
34
The categories of this paper are: chem-ph
6
The categories of this paper are: astro-ph
14
The categories of this paper are: math-ph
5
The categories of this paper are: gr-qc
3
The categories of this paper are: physics
9
The categories of this paper are: nlin
21
The categories of this paper are: adap-org
26
The categories of this paper are: bayes-an
25
The categories of this paper are: patt-sol