2 papers
cs.GT2026
Complete EFX Allocations Exist for Four Additive Agents and Up to Nine Goods
Eyad Alkassar, Mahmoud Fouz, Kurt Mehlhorn
We prove that every fair-division instance with four agents, additive valuations over the non-negative reals, and at most nine indivisible goods admits a \emph{complete} allocation…
cs.LO2013
A Framework for the Verification of Certifying Computations
Eyad Alkassar, Sascha Böhme, Kurt Mehlhorn +1
Formal verification of complex algorithms is challenging. Verifying their implementations goes beyond the state of the art of current automatic verification tools and usually invol…