DH
David Barros Hulak
math.CO
On Valency
published · living versionsW_7yhnzhrm·v1 · currentpublished
A Lean Certificate for the Single Source Unsplittable Flow Cost Counterexample
with Arthur, Ruy J. G. B. de Queiroz
1 version
Preprints & journals
1 paper in the corpus · 2026Pair-Trace Absorption Certificates for Regular Induced Subgraphs2604.23882v1 · Arthur F. Ramos, David Barros Hulak, Ruy J. G. B. de Queiroz2026 · 0 citationsarXiv
Career total: 4 works. 1 is in this corpus.
Profile built from the corpus for this byline.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.