spb/wp32_uqo

Public

2commits
1branches
0releases
35.4 MBon disk
maindefault branch
3 days agolast push

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 +172