1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.DS2025
A Faster Randomized Algorithm for Vertex Cover: An Automated Approach
Katie Clinch, Serge Gaspers, Tao Zixu He +2
This work introduces two techniques for the design and analysis of branching algorithms, illustrated through the case study of the Vertex Cover problem. First, we present a method…
cs.DS2024★ 1 cited
A Piecewise Approach for the Analysis of Exact Algorithms
Katie Clinch, Serge Gaspers, Zixu He +2
To analyze the worst-case running time of branching algorithms, the majority of work in exponential time algorithms focuses on designing complicated branching rules over developing…