Batch-add 13 Backlog Models + 26 Backlog Rules#1067

Merged

isPANN merged 95 commits into

mainfrom

batch-add-models

Jun 4, 2026

Commits on May 25, 2026

Commits on May 26, 2026

Add Partition -> IntegralFlowWithMultipliers reduction (#363)

isPANN
and
claude
committed
Add MinimumVertexCover -> ComparativeContainment reduction (#385)

isPANN
and
claude
committed
Add MinimumDiscretePlanarInverseKinematics -> QUBO reduction (#995)

isPANN
and
claude
committed
Add OptimalLinearArrangement -> SequencingToMinimizeWeightedCompletionTime reduction (#472)

isPANN
and
claude
committed
Add ThreeDimensionalMatching -> ThreeMatroidIntersection reduction (#857)

isPANN
and
claude
committed
Add MinimumCoveringByCliques -> MinimumIntersectionGraphBasis reduction (#848)

isPANN
and
claude
committed
Add Numerical3DimensionalMatching -> NumericalMatchingWithTargetSums reduction (#827)

isPANN
and
claude
committed
Add MaximumCoKPlex -> ILP reduction (#1016)

isPANN
and
claude
committed
Add MaximumCommonEdgeSubgraph -> ILP reduction (#1019)

isPANN
and
claude
committed
Add MaximumEdgeWeightedKClique -> ILP reduction (#1021)

isPANN
and
claude
committed
Add HighlyConnectedDeletion -> ILP reduction (#1023)

isPANN
and
claude
committed
Add EulerianPath -> ILP reduction (#1025)

isPANN
and
claude
committed
Add MinimumCostMaximumFlow -> MinimumCostCirculation reduction (#1031)

isPANN
and
claude
committed
Fix #995 example-db test compile error

isPANN
and
claude
committed
Add ClosestString -> ILP reduction (#1034)

isPANN
and
claude
committed
Add ClosestSubstring -> ILP reduction (#1035)

isPANN
and
claude
committed
Fix clippy identity_op in closestsubstring_ilp test (#1035)

isPANN
and
claude
committed
Fix incorrect expected value in zero-length-task test (#472 review)

isPANN
and
claude
committed
Add canonical example for ThreeDimensionalMatching -> ThreeMatroidIntersection (#857 review)

isPANN
and
claude
committed
Fix missing canonical examples + bib keys (#1021 review)

isPANN
and
claude
committed
Remove stale zero-length CLI tests after validator relaxation (#472)

isPANN
and
claude
committed
Fix paper compile errors: typst inter, missing/typo'd bib keys

isPANN
and
claude
committed
Add auto-pipeline integration gate (Step 2.5)

isPANN
and
claude
committed
Slim down auto-pipeline Step 2.5

isPANN
and
claude
committed
Renumber auto-pipeline integration gate as Step 3 (not 2.5)

isPANN
and
claude
committed
Revert review-structural Step 4b; let auto-pipeline Step 3 cover it

isPANN
and
claude
committed
Revert review-quality bullet to main version

isPANN
and
claude
committed
Drop codex from auto-pipeline; use plain subagent dispatch

isPANN
and
claude
committed
Drop batch-mode language from auto-pipeline Step 3 rationale

isPANN
and
claude
committed
Render canonical examples in paper for 13 batch-added rules

isPANN
and
claude
committed
Add rule: MinimumMaximalMatching -> MaximumAchromaticNumber (#846)

isPANN
and
claude
committed
Add rule: MinimumMaximalMatching -> MinimumMatrixDomination (#847)
isPANN
committed
Add rule: ExactCoverBy3Sets -> BoundedDiameterSpanningTree (#913)

isPANN
and
claude
committed
Fix nits: MinimumMaximalMatching -> MaximumAchromaticNumber (#846)

isPANN
and
claude
committed
Fix nits: MinimumMaximalMatching -> MinimumMatrixDomination (#847)
isPANN
committed
Fix nits: ExactCoverBy3Sets -> BoundedDiameterSpanningTree (#913)

isPANN
and
claude
committed

Commits on May 27, 2026

Commits on May 28, 2026