Valency
alpha
PDF

A Lean Certificate for the Single Source Unsplittable Flow Cost Counterexample

ArthurDavid Barros HulakRuy J. G. B. de Queiroz
Fresh — published within the last 30 daysv1 publishedCC BY 4.0
AI contributions · OpenAI Codex GPT-6.1 (manuscript)View details
Ancillary data · Proof registry entryView
Machine checks

No machine checks are available from the Hub API for this paper.