spb/wp32_uqo

Fri, Oct 30, 2026 1

1. 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>

   Simon-Pierre Boucher 3 days ago · 1 file +216
   e6146f9