A Counterexample to EFX $n\ge 3$ Agents, $m\ge n+5$ Items, Submodular Valuations via SAT-Solving

Hannaneh Akrami, Alexander Mayorov, Kurt Mehlhorn +2

The existence of EFX allocations is a central open problem in discrete fair division. An allocation is EFX (envy-free up to any good) if no agent envies another agent after the rem…