Verifying Cake-Cutting, Faster.

Noah Bertram, Tean Lai, Justin Hsu

Browse the full CAV paper archive.