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

Martin Mariusz Lester

Published in: PADL (2024)

Keyphrases

envy free
integer arithmetic
resource allocation
pareto optimal
utility function
social welfare
envy freeness
additively separable
probability distribution
simulated annealing
gray level