Sign in

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