Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
31 commits
Select commit Hold shift + click to select a range
60e9d48
docs: add design spec for proposed reductions Typst note
zazabap Mar 31, 2026
b17b48d
fix(#974): add 39 example-db lookup tests and 31 paper reduction-rule…
zazabap Apr 3, 2026
259ad5a
Delete docs/superpowers/specs/2026-03-31-proposed-reductions-note-des…
zazabap Apr 3, 2026
93fd5b6
docs: add Institute of Science Tokyo affiliation to paper
zazabap Apr 3, 2026
4d54814
chore: remove accidentally committed docs/superpowers directory
zazabap Apr 3, 2026
92f269b
docs: add worked example for HamiltonianCircuit -> RuralPostman reduc…
zazabap Apr 4, 2026
4530ec7
docs(paper): add worked example for HamiltonianCircuit -> Hamiltonian…
zazabap Apr 4, 2026
a03be86
docs(paper): add worked example for HamiltonianCircuit -> BottleneckT…
zazabap Apr 4, 2026
3131035
docs(paper): add worked example for HamiltonianCircuit -> StrongConne…
zazabap Apr 4, 2026
e588b38
docs: add worked example for HamiltonianCircuit -> QuadraticAssignmen…
zazabap Apr 4, 2026
082747f
Merge branch 'worktree-agent-a0249f65' into fix/974-example-db-paper-…
zazabap Apr 4, 2026
a205853
docs(paper): add worked example for Partition -> BinPacking reduction
zazabap Apr 4, 2026
0de33c4
docs(paper): add worked example for ThreePartition -> JobShopScheduli…
zazabap Apr 4, 2026
ecf3d74
docs: add worked example for Partition → MultiprocessorScheduling red…
zazabap Apr 4, 2026
c88dd18
docs(paper): add worked example for ThreePartition -> ResourceConstra…
zazabap Apr 4, 2026
13d6dc8
docs(paper): add worked example for ThreePartition -> SequencingWithR…
zazabap Apr 4, 2026
d52bd2d
docs: add worked example for ThreePartition -> FlowShopScheduling red…
zazabap Apr 4, 2026
2f1e1d7
Merge branch 'worktree-agent-a6be4123' into fix/974-example-db-paper-…
zazabap Apr 4, 2026
1c65e26
Merge branch 'worktree-agent-ab8deaa1' into fix/974-example-db-paper-…
zazabap Apr 4, 2026
0a53876
Merge branch 'worktree-agent-a4a4b344' into fix/974-example-db-paper-…
zazabap Apr 4, 2026
fdfaae6
docs(paper): add worked example for KSatisfiability -> KClique reduction
zazabap Apr 4, 2026
770e29d
docs(paper): add worked example for MinimumVertexCover -> MinimumFeed…
zazabap Apr 4, 2026
8c5ccef
docs(paper): add worked example for Satisfiability -> NAESatisfiabili…
zazabap Apr 4, 2026
107868f
docs(paper): add worked example for ExactCoverBy3Sets -> MaximumSetPa…
zazabap Apr 4, 2026
6218524
docs(paper): add worked example for KSatisfiability -> MinimumVertexC…
zazabap Apr 4, 2026
eef8a89
docs(paper): add worked example for MaxCut -> MinimumCutIntoBoundedSe…
zazabap Apr 4, 2026
0b47d2d
Merge branch 'worktree-agent-a1d16d7b' into fix/974-example-db-paper-…
zazabap Apr 4, 2026
8c0f13f
Merge branch 'worktree-agent-a8687a53' into fix/974-example-db-paper-…
zazabap Apr 4, 2026
99c4104
Merge branch 'worktree-agent-aeb8eb1b' into fix/974-example-db-paper-…
zazabap Apr 4, 2026
b95f022
fix: remove duplicate SAT→NAESatisfiability prose-only entry
zazabap Apr 4, 2026
15052ea
merge main into fix/974-example-db-paper-entries
GiggleLiu Apr 4, 2026
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading
Loading