TY  - RPRT
TI  - A Faster Randomized Algorithm for Vertex Cover: An Automated Approach
AU  - Katie Clinch
AU  - Serge Gaspers
AU  - Tao Zixu He
AU  - Simon Mackenzie
AU  - Tiankuang Zhang
PY  - 2025
UR  - https://arxiv.org/abs/2510.09027
ID  - 2510.09027
ER  -