@misc{indiciae0800e7974857,
  title = {A Counterexample to EFX \$n \textbackslash{}ge 3\$ Agents, \$m \textbackslash{}ge n + 5\$ Items, Submodular Valuations via SAT-Solving},
  author = {Hannaneh Akrami and Alexander Mayorov and Kurt Mehlhorn and Shreyas Srinivas and Christoph Weidenbach},
  year = {2026},
  url = {https://arxiv.org/abs/2604.18216},
  note = {Source identifier: 2604.18216}
}