Similar Items: Formal Primal-Dual Algorithm Analysis
- A formal proof of the Sands-Sauer-Woodrow theorem using the Rocq prover and mathcomp/ssreflect
- W-state graphs: Structure and Algorithms
- Flow Shop Scheduling with Stochastic Reentry
- Dirac's theorem and the switch geometry of perfect matchings
- Moderately beyond clique-width: reduced component max-leaf and related parameters
- Completely Independent Steiner Trees