TY  - RPRT
TI  - A Counterexample to EFX $n \ge 3$ Agents, $m \ge n + 5$ Items, Submodular Valuations via SAT-Solving
AU  - Hannaneh Akrami
AU  - Alexander Mayorov
AU  - Kurt Mehlhorn
AU  - Shreyas Srinivas
AU  - Christoph Weidenbach
PY  - 2026
UR  - https://arxiv.org/abs/2604.18216
ID  - 2604.18216
ER  -