fix(#974): add 39 example-db tests and 31 paper entries for reduction rules#997

Merged

GiggleLiu merged 31 commits intomainfrom

fix/974-example-db-paper-entries

Apr 4, 2026

Commits on Apr 4, 2026

docs: add worked example for HamiltonianCircuit -> RuralPostman reduction

zazabap
and
claude
committed
docs(paper): add worked example for HamiltonianCircuit -> HamiltonianPath reduction

zazabap
and
claude
committed
docs(paper): add worked example for HamiltonianCircuit -> BottleneckTravelingSalesman reduction

zazabap
and
claude
committed
docs(paper): add worked example for HamiltonianCircuit -> StrongConnectivityAugmentation reduction

zazabap
and
claude
committed
docs: add worked example for HamiltonianCircuit -> QuadraticAssignment paper entry

zazabap
and
claude
committed
Merge branch 'worktree-agent-a0249f65' into fix/974-example-db-paper-entries
zazabap
committed
docs(paper): add worked example for Partition -> BinPacking reduction

zazabap
and
claude
committed
docs(paper): add worked example for ThreePartition -> JobShopScheduling reduction

zazabap
and
claude
committed
docs: add worked example for Partition → MultiprocessorScheduling reduction

zazabap
and
claude
committed
docs(paper): add worked example for ThreePartition -> ResourceConstrainedScheduling reduction

zazabap
and
claude
committed
docs(paper): add worked example for ThreePartition -> SequencingWithReleaseTimesAndDeadlines reduction

zazabap
and
claude
committed
docs: add worked example for ThreePartition -> FlowShopScheduling reduction

zazabap
and
claude
committed
Merge branch 'worktree-agent-a6be4123' into fix/974-example-db-paper-entries
zazabap
committed
Merge branch 'worktree-agent-ab8deaa1' into fix/974-example-db-paper-entries
zazabap
committed
Merge branch 'worktree-agent-a4a4b344' into fix/974-example-db-paper-entries
zazabap
committed
docs(paper): add worked example for KSatisfiability -> KClique reduction

zazabap
and
claude
committed
docs(paper): add worked example for MinimumVertexCover -> MinimumFeedbackArcSet reduction

zazabap
and
claude
committed
docs(paper): add worked example for Satisfiability -> NAESatisfiability reduction

zazabap
and
claude
committed
docs(paper): add worked example for ExactCoverBy3Sets -> MaximumSetPacking reduction

zazabap
and
claude
committed
docs(paper): add worked example for KSatisfiability -> MinimumVertexCover reduction

zazabap
and
claude
committed
docs(paper): add worked example for MaxCut -> MinimumCutIntoBoundedSets reduction

zazabap
and
claude
committed
Merge branch 'worktree-agent-a1d16d7b' into fix/974-example-db-paper-entries
zazabap
committed
Merge branch 'worktree-agent-a8687a53' into fix/974-example-db-paper-entries
zazabap
committed
Merge branch 'worktree-agent-aeb8eb1b' into fix/974-example-db-paper-entries
zazabap
committed
fix: remove duplicate SAT→NAESatisfiability prose-only entry

zazabap
and
claude
committed
merge main into fix/974-example-db-paper-entries

GiggleLiu
and
claude
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

fix(#974): add 39 example-db tests and 31 paper entries for reduction rules#997

fix(#974): add 39 example-db tests and 31 paper entries for reduction rules#997
GiggleLiu merged 31 commits intomainfrom
fix/974-example-db-paper-entries

Commits on Apr 3, 2026

docs: add design spec for proposed reductions Typst note

fix(#974): add 39 example-db lookup tests and 31 paper reduction-rule entries

Delete docs/superpowers/specs/2026-03-31-proposed-reductions-note-design.md

docs: add Institute of Science Tokyo affiliation to paper

chore: remove accidentally committed docs/superpowers directory

Commits on Apr 4, 2026

docs: add worked example for HamiltonianCircuit -> RuralPostman reduction

docs(paper): add worked example for HamiltonianCircuit -> HamiltonianPath reduction

docs(paper): add worked example for HamiltonianCircuit -> BottleneckTravelingSalesman reduction

docs(paper): add worked example for HamiltonianCircuit -> StrongConnectivityAugmentation reduction

docs: add worked example for HamiltonianCircuit -> QuadraticAssignment paper entry

Merge branch 'worktree-agent-a0249f65' into fix/974-example-db-paper-entries

docs(paper): add worked example for Partition -> BinPacking reduction

docs(paper): add worked example for ThreePartition -> JobShopScheduling reduction

docs: add worked example for Partition → MultiprocessorScheduling reduction

docs(paper): add worked example for ThreePartition -> ResourceConstrainedScheduling reduction

docs(paper): add worked example for ThreePartition -> SequencingWithReleaseTimesAndDeadlines reduction

docs: add worked example for ThreePartition -> FlowShopScheduling reduction

Merge branch 'worktree-agent-a6be4123' into fix/974-example-db-paper-entries

Merge branch 'worktree-agent-ab8deaa1' into fix/974-example-db-paper-entries

Merge branch 'worktree-agent-a4a4b344' into fix/974-example-db-paper-entries

docs(paper): add worked example for KSatisfiability -> KClique reduction

docs(paper): add worked example for MinimumVertexCover -> MinimumFeedbackArcSet reduction

docs(paper): add worked example for Satisfiability -> NAESatisfiability reduction

docs(paper): add worked example for ExactCoverBy3Sets -> MaximumSetPacking reduction

docs(paper): add worked example for KSatisfiability -> MinimumVertexCover reduction

docs(paper): add worked example for MaxCut -> MinimumCutIntoBoundedSets reduction

Merge branch 'worktree-agent-a1d16d7b' into fix/974-example-db-paper-entries

Merge branch 'worktree-agent-a8687a53' into fix/974-example-db-paper-entries

Merge branch 'worktree-agent-aeb8eb1b' into fix/974-example-db-paper-entries

fix: remove duplicate SAT→NAESatisfiability prose-only entry

merge main into fix/974-example-db-paper-entries