Last diminisher

The last diminisher procedure is a procedure for fair cake-cutting. It involves a certain heterogenous and divisible resource, such as a birthday…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2006

It is often convenient to view a computational procedure, or a program, as a relation on a set of states, where a state can be…