← back to paper

Review history

arxiv: 2604.18216 · 2 revisions

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

1. 2026-05-15 ACCEPT MODERATE v0.9.0 novelty 9.0
   54639 ms 5570 in 1151 out 2026-05-15T06:21:13.268463+00:00
2. 2026-05-10 ACCEPT MODERATE v0.9.0 novelty 8.0
   43080 ms 5678 in 1090 out 2026-05-10T03:22:23.900935+00:00