Repository navigation

Derive reduction parameter contracts and bound ILP encodings - #1174

Merged

GiggleLiu merged 23 commits into

mainfrom

fix/exact-reduction-parameters

Oct 3, 2026

Commits on Sep 26, 2026

Commits on Sep 27, 2026

Improve parameter prediction contracts and bound integer ILP reductions
isPANN
committed
f743491

Commits on Sep 29, 2026

Merge main and preserve parameter derivation guidance
isPANN
committed
cffdfcd
Derive reduction parameter bounds from constructed targets
isPANN
committed
69282d1
Consolidate bounded ILP and parameter prediction stack
isPANN
committed
8bdddd4
Correct ILP parameter bounds and simplify reduction code
isPANN
committed
bf09cce
Calibrate parity and universe-size reduction bounds
isPANN
committed
2ba9a03
Remove invalid reduction catalog edges
isPANN
committed
de787aa

Commits on Sep 30, 2026

Add direct binary ILP pipelines for exact-one SAT and graph kernels
isPANN
committed
086605a
Preserve scheduling semantics with compact ILP constructions
isPANN
committed
0a59045
Simplify scheduling solution extraction
isPANN
committed
cf454d9
Tighten ILP nonzero bounds using construction counts
isPANN
committed
5e501e8
Compact exact reductions and register missing solver pipelines
isPANN
committed
463c036
Remove redundant reduction parameters and derive bounds from model inputs
isPANN
committed
2515bb5

Commits on Oct 1, 2026

Fix exact verification bottlenecks in reduction targets
isPANN
committed
5464723
Simplify reduction results and exact solver bookkeeping
isPANN
committed
4453700

Commits on Oct 3, 2026