Skip to content

Actions: CodingThrust/problem-reductions

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
[Rule] 3-DIMENSIONAL MATCHING to 3-MATROID INTERSECTION PR Automation #492: Issue comment #350 (comment) created by isPANN
1s
1s
[Rule] GRAPH 3-COLORABILITY to INTERSECTION PATTERN PR Automation #491: Issue comment #349 (comment) created by isPANN
1s
1s
[Rule] NOT-ALL-EQUAL 3SAT to SET SPLITTING PR Automation #490: Issue comment #348 (comment) created by isPANN
2s
2s
[Rule] EXACT COVER BY 3-SETS to SET PACKING PR Automation #489: Issue comment #347 (comment) created by isPANN
1s
1s
[Rule] PARTITION to BIN PACKING PR Automation #488: Issue comment #346 (comment) created by isPANN
1s
1s
[Rule] PARTITION to K-th LARGEST m-TUPLE PR Automation #487: Issue comment #345 (comment) created by isPANN
Skipped
Skipped
[Rule] SUBSET SUM to K-th LARGEST SUBSET PR Automation #486: Issue comment #344 (comment) created by isPANN
1s
1s
[Rule] PARTITION to MINIMUM SUM OF SQUARES PR Automation #485: Issue comment #343 (comment) created by isPANN
2s
2s
[Rule] PARTITION to SUBSET SUM PR Automation #484: Issue comment #342 (comment) created by isPANN
1s
1s
[Rule] VERTEX COVER to COMPARATIVE CONTAINMENT PR Automation #483: Issue comment #341 (comment) created by isPANN
1s
1s
[Rule] VERTEX COVER to SET BASIS PR Automation #482: Issue comment #340 (comment) created by isPANN
2s
2s
[Rule] DOMINATING SET to MIN-SUM MULTICENTER PR Automation #481: Issue comment #339 (comment) created by isPANN
1s
1s
[Rule] DOMINATING SET to MIN-MAX MULTICENTER PR Automation #480: Issue comment #338 (comment) created by isPANN
1s
1s
[Rule] 3-DIMENSIONAL MATCHING to MINIMUM BROADCAST TIME PR Automation #479: Issue comment #286 (comment) created by isPANN
2s
2s
[Rule] PLANAR 3SAT to GEOMETRIC CONNECTED DOMINATING SET PR Automation #478: Issue comment #285 (comment) created by isPANN
1s
1s
[Rule] 3-PARTITION to EDGE EMBEDDING ON A GRID PR Automation #477: Issue comment #284 (comment) created by isPANN
1s
1s
[Rule] 3-PARTITION to INTERSECTION GRAPH FOR SEGMENTS ON A GRID PR Automation #476: Issue comment #283 (comment) created by isPANN
2s
2s
[Rule] VERTEX COVER to MINIMIZING DUMMY ACTIVITIES IN PERT NETWORKS PR Automation #475: Issue comment #282 (comment) created by isPANN
6s
6s
[Rule] HAMILTONIAN CIRCUIT to QUADRATIC ASSIGNMENT PROBLEM PR Automation #474: Issue comment #281 (comment) created by isPANN
7s
7s
[Rule] 3SAT to MAXIMUM FIXED-LENGTH DISJOINT PATHS PR Automation #473: Issue comment #280 (comment) created by isPANN
1s
1s
[Rule] 3SAT to MAXIMUM LENGTH-BOUNDED DISJOINT PATHS PR Automation #472: Issue comment #279 (comment) created by isPANN
1s
1s
[Rule] 3SAT to DISJOINT CONNECTING PATHS PR Automation #471: Issue comment #278 (comment) created by isPANN
1s
1s
[Rule] DIRECTED TWO-COMMODITY INTEGRAL FLOW to UNDIRECTED TWO-COMMODITY INTEGRAL FLOW PR Automation #470: Issue comment #277 (comment) created by isPANN
Skipped
Skipped
[Rule] 3SAT to DIRECTED TWO-COMMODITY INTEGRAL FLOW PR Automation #469: Issue comment #276 (comment) created by isPANN
1s
1s
[Rule] SATISFIABILITY to UNDIRECTED FLOW WITH LOWER BOUNDS PR Automation #468: Issue comment #275 (comment) created by isPANN
2s
2s
ProTip! You can narrow down the results and go further in time using created:<2026-03-11 or the other filters available.