cff-version: 1.2.0
message: "If you use this paper, code or certificates, please cite it as below."
title: "Zero-Forcing Bounds for Generalized Petersen Graphs: Computational Discovery and Certified Proofs for P(n,5) (UQO Working Paper 32)"
authors:
  - family-names: Boucher
    given-names: Simon-Pierre
    affiliation: "Université du Québec en Outaouais"
    email: simon-pierre.boucher@uqo.ca
date-released: 2026-10-30
version: "1.0"
license: MIT
notes: "First released as AutoScholar Working Paper AS-WP-2026-0001 (https://www.autoscholar.ai), 2026-10-30."