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
- Make derivable reduction parameters exact
  isPANN
  committed
  b37c13d
- Check every field in exact reduction transforms
  isPANN
  committed
  bd6da65
- Verify exact reduction parameters on randomized instances
  isPANN
  committed
  90e41a8
- Check exact and upper-bound reduction parameters
  isPANN
  committed
  464da1c
- Document and simplify parameter formula validation
  isPANN
  committed
  84f1bd2
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

Navigation Menu

Repository navigation

Derive reduction parameter contracts and bound ILP encodings - #1174

Derive reduction parameter contracts and bound ILP encodings#1174
GiggleLiu merged 23 commits into
mainfrom
fix/exact-reduction-parameters

Commits on Sep 26, 2026

Make derivable reduction parameters exact

Check every field in exact reduction transforms

Verify exact reduction parameters on randomized instances

Check exact and upper-bound reduction parameters

Document and simplify parameter formula validation

Commits on Sep 27, 2026

Improve parameter prediction contracts and bound integer ILP reductions

Commits on Sep 29, 2026

Merge main and preserve parameter derivation guidance

Derive reduction parameter bounds from constructed targets

Consolidate bounded ILP and parameter prediction stack

Correct ILP parameter bounds and simplify reduction code

Calibrate parity and universe-size reduction bounds

Remove invalid reduction catalog edges

Commits on Sep 30, 2026

Add direct binary ILP pipelines for exact-one SAT and graph kernels

Preserve scheduling semantics with compact ILP constructions

Simplify scheduling solution extraction

Tighten ILP nonzero bounds using construction counts

Compact exact reductions and register missing solver pipelines

Remove redundant reduction parameters and derive bounds from model inputs

Commits on Oct 1, 2026

Fix exact verification bottlenecks in reduction targets

Simplify reduction results and exact solver bookkeeping

Commits on Oct 3, 2026

fix: bound solver precomputation by small witness budgets

fix: remove needless borrow flagged by current CI clippy

fix: cap solver preprocessing and handle large union chains