Variable Independence in Linear Real Arithmetic. - Alexander Mayorov (CoRR, 2023)

A Counterexample to EFX; n ≥ 3 Agents, m ≥ n + 5 Items, Monotone Valuations; via SAT-Solving. - Hannaneh Akrami; Alexander Mayorov; Kurt Mehlhorn; Shreyas Srinivas; Christoph Weidenbach (CoRR, 2026)