Cutting the Cake into Crumbs: Verifying Envy-Free Cake-Cutting Protocols Using Bounded Integer Arithmetic.

Martin Mariusz Lester

Browse the full PADL paper archive.