Sharp Zero-Forcing Bounds for Generalized Petersen Graphs: Computational Discovery and Certified Proofs for $P(n,5)$
manuscript/main.tex · autoscholar
6 figure env.10 table env.50 citations
bib: references
includes: ../results/tables/tab_paths.tex, ../results/tables/tab_brute_force.tex, ../results/tables/tab_exact_values.tex, ../results/tables/tab_conjectures.tex, ../results/tables/tab_verification.tex, ../results/tables/tab_scope.tex, ../results/tables/tab_witnesses.tex, ../results/tables/tab_boundary_table.tex, ../results/tables/tab_fortcover.tex, ../results/tables/tab_window_scaling.tex