EFX allocations do not exist for n ≥ 3 agents and m ≥ n+5 goods with monotone valuations; a counterexample is constructed via SAT solving and the encoding is verified in Lean.
Springer, Berlin, Heidelberg, 1 edn
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.GT 1years
2026 1verdicts
ACCEPT 1representative citing papers
citing papers explorer
-
A Counterexample to EFX $n \ge 3$ Agents, $m \ge n + 5$ Items, Submodular Valuations via SAT-Solving
EFX allocations do not exist for n ≥ 3 agents and m ≥ n+5 goods with monotone valuations; a counterexample is constructed via SAT solving and the encoding is verified in Lean.