过去一年中添加的文章，按日期排序
Cutting the Cake into Crumbs: Verifying Envy-Free Cake-Cutting Protocols Using Bounded Integer Arithmetic
MM Lester - … on Practical Aspects of Declarative Languages, 2024 - Springer
184 天前 - … Fair division protocols specify how to split a continuous resource (conventionally
represented by a cake… Envy-free protocols ensure no agent prefers any other agent’s allocation …
represented by a cake… Envy-free protocols ensure no agent prefers any other agent’s allocation …