Similar Items: A coarse Menger's Theorem for planar and bounded genus graphs
- Coarse Menger property of quasi-minor excluded graphs and length spaces
- Feedback vertex sets of planar digraphs with fixed digirth
- The Dominating 4-Colour Theorem
- Dirac's theorem and the switch geometry of perfect matchings
- A formal proof of the Sands-Sauer-Woodrow theorem using the Rocq prover and mathcomp/ssreflect
- Increasing arc-connectivity by bounded- and fixed-size inversions