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

MM Lester - International Symposium on Practical Aspects of …, 2024 - Springer
Fair division protocols specify how to split a continuous resource (conventionally
represented by a cake) between multiple agents with different preferences. Envy-free …
被引用次数：1 相关文章

Cutting the cake into crumbs: verifying envy-free cake cutting protocols using bounded integer arithmetic

MM Lester - PADL 2024: The 26th International Symposium …, 2024 - centaur.reading.ac.uk
Fair division protocols specify how to split a continuous resource (conventionally
represented by a cake) between multiple agents with different preferences. Envy-free …

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

MM Lester - International Symposium on Practical Aspects of …, 2024 - dl.acm.org
Fair division protocols specify how to split a continuous resource (conventionally
represented by a cake) between multiple agents with different preferences. Envy-free …

Cutting the cake into crumbs: verifying envy-free cake cutting protocols using bounded integer arithmetic

MM Lester - PADL 2024: The 26th International Symposium …, 2024 - centaur.reading.ac.uk
Fair division protocols specify how to split a continuous resource (conventionally
represented by a cake) between multiple agents with different preferences. Envy-free …