Difference Logic (DL) is a fragment of linear arithmetics where atoms are constraints x+ k<= y for variables x, y (ranging over Q or Z) and integer k. We study the complexity of deciding …
In the recently introduced topological distance games, strategic agents need to be assigned to a subset of vertices of a topology. In the assignment, the utility of an agent depends on …
J Chen, I Schlotter, S Simola - arXiv preprint arXiv:2408.08392, 2024 - arxiv.org
We study variants of the Optimal Refugee Resettlement problem where a set $ F $ of refugee families need to be allocated to a set $ L $ of possible places of resettlement in a …