AutoScholar (2026). Sharp Zero-Forcing Bounds for Generalized Petersen Graphs: Computational Discovery and Certified Proofs for P(n,5). AutoScholar Working Paper AS-WP-2026-0001, version 1. https://www.autoscholar.ai/research/as-wp-2026-0001-sharp-zero-forcing-bounds-for-generalized-petersen-graphs-computationa