WP32: Sharp Zero-Forcing Bounds for Generalized Petersen Graphs P(n,5) — UQO edition of AutoScholar AS-WP-2026-0001 (paper retypeset on the UQO template, full code/results/plan/review/provenance kit, DRAT proofs kept locally)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
0 changed files +0 −0