SPB Git
spboucher.ai

spb/wp32_uqo

Public
History
NameLast commitUpdated
..
proofs WP32: Sharp Zero-Forcing Bounds for Generalized Petersen Graphs P(n,5) — UQO...
robustness WP32: Sharp Zero-Forcing Bounds for Generalized Petersen Graphs P(n,5) — UQO...
tools WP32: Sharp Zero-Forcing Bounds for Generalized Petersen Graphs P(n,5) — UQO...
wheels WP32: Sharp Zero-Forcing Bounds for Generalized Petersen Graphs P(n,5) — UQO...
brute_force.c WP32: Sharp Zero-Forcing Bounds for Generalized Petersen Graphs P(n,5) — UQO...
brute_force.py WP32: Sharp Zero-Forcing Bounds for Generalized Petersen Graphs P(n,5) — UQO...
build_figures.py WP32: Sharp Zero-Forcing Bounds for Generalized Petersen Graphs P(n,5) — UQO...
build_manuscript_tables.py WP32: Sharp Zero-Forcing Bounds for Generalized Petersen Graphs P(n,5) — UQO...
build_metrics.py WP32: Sharp Zero-Forcing Bounds for Generalized Petersen Graphs P(n,5) — UQO...
build_tables.py WP32: Sharp Zero-Forcing Bounds for Generalized Petersen Graphs P(n,5) — UQO...
check_exceptional_automorphisms.py WP32: Sharp Zero-Forcing Bounds for Generalized Petersen Graphs P(n,5) — UQO...
check_fortcover_proof.py WP32: Sharp Zero-Forcing Bounds for Generalized Petersen Graphs P(n,5) — UQO...
closure_oracle.py WP32: Sharp Zero-Forcing Bounds for Generalized Petersen Graphs P(n,5) — UQO...
common.py WP32: Sharp Zero-Forcing Bounds for Generalized Petersen Graphs P(n,5) — UQO...
graph_constructor.py WP32: Sharp Zero-Forcing Bounds for Generalized Petersen Graphs P(n,5) — UQO...
prelim_check_isomorphisms.py WP32: Sharp Zero-Forcing Bounds for Generalized Petersen Graphs P(n,5) — UQO...
prelim_check_published_constructions.py WP32: Sharp Zero-Forcing Bounds for Generalized Petersen Graphs P(n,5) — UQO...
README.md WP32: Sharp Zero-Forcing Bounds for Generalized Petersen Graphs P(n,5) — UQO...
regen_fortcover_proof.py WP32: Sharp Zero-Forcing Bounds for Generalized Petersen Graphs P(n,5) — UQO...
reproduce.sh WP32: Sharp Zero-Forcing Bounds for Generalized Petersen Graphs P(n,5) — UQO...
requirements.txt WP32: Sharp Zero-Forcing Bounds for Generalized Petersen Graphs P(n,5) — UQO...
run_boundary_table.py WP32: Sharp Zero-Forcing Bounds for Generalized Petersen Graphs P(n,5) — UQO...
run_boundary_window.py WP32: Sharp Zero-Forcing Bounds for Generalized Petersen Graphs P(n,5) — UQO...
run_exact.py WP32: Sharp Zero-Forcing Bounds for Generalized Petersen Graphs P(n,5) — UQO...
run_holdout.py WP32: Sharp Zero-Forcing Bounds for Generalized Petersen Graphs P(n,5) — UQO...
sat_or_ilp_solver.py WP32: Sharp Zero-Forcing Bounds for Generalized Petersen Graphs P(n,5) — UQO...
verify_lemmas.py WP32: Sharp Zero-Forcing Bounds for Generalized Petersen Graphs P(n,5) — UQO...
verify_lower_bounds.py WP32: Sharp Zero-Forcing Bounds for Generalized Petersen Graphs P(n,5) — UQO...
verify_upper_bounds.py WP32: Sharp Zero-Forcing Bounds for Generalized Petersen Graphs P(n,5) — UQO...

Clone wp32_uqo

Anonymous clone and fetch. Pushing requires the owner's personal access token.

ZIP tar.gz snapshot of main
Files · main
Menu

Theme
↑↓ navigate ↵ open esc close / or ⌘K anywhere