Skip to content

Actions: CodingThrust/problem-reductions

Actions

Deploy Documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
378 workflow runs
378 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Fix #1059: add pred extract for lifting external target-space solut… Deploy Documentation #378: Commit 26ac230 pushed by GiggleLiu
10m 0s main
main
10m 0s
Make MIS → KingsSubgraph reduction deterministic (#1061) (#1063) Deploy Documentation #377: Commit 3ab4f20 pushed by GiggleLiu
20s main
main
20s
Align CBM serialized form with declared schema (#1065) Deploy Documentation #376: Commit 6136ea8 pushed by GiggleLiu
5m 29s main
main
5m 29s
Switch broken CBM example in README to MIS (#1064) Deploy Documentation #375: Commit e3b8870 pushed by GiggleLiu
5m 35s main
main
5m 35s
update Deploy Documentation #374: Commit cbfad84 pushed by GiggleLiu
5m 36s main
main
5m 36s
Add MaximumClique<SimpleGraph, One> variant with weight cast and redu… Deploy Documentation #373: Commit b3b18f1 pushed by GiggleLiu
5m 41s main
main
5m 41s
Redefine BMF as exact factorization; fix BicliqueCover semantics; add… Deploy Documentation #372: Commit 9ff62f0 pushed by GiggleLiu
5m 25s main
main
5m 25s
Paper review sessions 1-6: entries 1-60 (#1051) Deploy Documentation #371: Commit ff8ae70 pushed by GiggleLiu
11m 14s main
main
11m 14s
Add variant-level aliases; introduce 2SAT and 3SAT (#1054) Deploy Documentation #370: Commit d4060d6 pushed by GiggleLiu
5m 57s main
main
5m 57s
fix: remove 8 unsound reductions, fix 8 buggy rules (#1006) (#1052) Deploy Documentation #369: Commit 06d7f27 pushed by GiggleLiu
5m 31s main
main
5m 31s
fix paper completeness check false warning (#1049) Deploy Documentation #368: Commit e38b1b5 pushed by zazabap
5m 49s main
main
5m 49s
Beautify paper: cover page, indices, CLI args, page numbering (#1045) Deploy Documentation #367: Commit f2a3648 pushed by GiggleLiu
5m 30s main
main
5m 30s
fix issues (#1042) Deploy Documentation #366: Commit d8a6168 pushed by GiggleLiu
6m 12s main
main
6m 12s
update docs Deploy Documentation #365: Commit 3024163 pushed by GiggleLiu
5m 58s main
main
5m 58s
update skills Deploy Documentation #364: Commit c4877e1 pushed by GiggleLiu
11m 8s main
main
11m 8s
release: v0.5.0 Deploy Documentation #363: Commit 0c11475 pushed by GiggleLiu
5m 37s main
main
5m 37s
Merge branch 'main' of github.com:CodingThrust/problem-reductions Deploy Documentation #362: Commit cbd4af9 pushed by GiggleLiu
9m 37s main
main
9m 37s
feat: add find-solver and find-problem skills, fix KColoring/KN seria… Deploy Documentation #361: Commit f85865a pushed by GiggleLiu
5m 57s main
main
5m 57s
feat: batch add 14 reduction rules (hard rules phase 2) (#1028) Deploy Documentation #360: Commit 0f9db3c pushed by GiggleLiu
6m 3s main
main
6m 3s
update papers Deploy Documentation #359: Commit 8cd6ac1 pushed by GiggleLiu
6m 26s main
main
6m 26s
docs: add Philosophy section to CLAUDE.md Deploy Documentation #358: Commit 1a91afb pushed by GiggleLiu
6m 14s main
main
6m 14s
feat: batch implement reduction rules (phases 1-3) (#1017) Deploy Documentation #357: Commit a784239 pushed by GiggleLiu
6m 7s main
main
6m 7s
feat: Decision wrapper for optimization→decision conversion (#1014) Deploy Documentation #356: Commit fb9c608 pushed by GiggleLiu
5m 49s main
main
5m 49s
feat: add verify-reduction skill (#979) Deploy Documentation #355: Commit 07caf14 pushed by GiggleLiu
5m 59s main
main
5m 59s
feat: add 11 medium-confidence reduction rules (#1010) Deploy Documentation #354: Commit 90fcc85 pushed by GiggleLiu
5m 51s main
main
5m 51s