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] VERTEX COVER to MINIMUM CUT INTO BOUNDED SETS PR Automation #380: Issue comment #250 (comment) created by zazabap
1s
1s
[Rule] LongestCommonSubsequence to ILP PR Automation #379: Issue comment #110 (comment) created by zazabap
1s
1s
[Rule] 3-DIMENSIONAL MATCHING to NUMERICAL 3-DIMENSIONAL MATCHING PR Automation #378: Issue comment #353 (comment) created by zazabap
2s
2s
[Rule] Partition to Knapsack PR Automation #377: Issue comment #202 (comment) created by zazabap
1s
1s
[Rule] EXACT COVER BY 3-SETS to SUBSET PRODUCT PR Automation #376: Issue comment #351 (comment) created by zazabap
1s
1s
[Model] ShortestWeightConstrainedPath PR Automation #375: Issue comment #289 (comment) created by zazabap
1s
1s
[Rule] HAMILTONIAN CIRCUIT to BICONNECTIVITY AUGMENTATION PR Automation #374: Issue comment #252 (comment) created by zazabap
1s
1s
[Rule] 3-DIMENSIONAL MATCHING to 3-PARTITION PR Automation #373: Issue comment #352 (comment) created by zazabap
1s
1s
[Rule] SUBSET SUM to K-th LARGEST SUBSET PR Automation #372: Issue comment #344 (comment) created by zazabap
1s
1s
[Rule] VERTEX COVER to SET BASIS PR Automation #371: Issue comment #340 (comment) created by zazabap
1s
1s
[Rule] Knapsack to QUBO PR Automation #370: Issue comment #116 (comment) created by zazabap
1s
1s
[Rule] HAMILTONIAN CIRCUIT to STRONG CONNECTIVITY AUGMENTATION PR Automation #369: Issue comment #254 (comment) created by zazabap
2s
2s
[Rule] SATISFIABILITY to UNDIRECTED FLOW WITH LOWER BOUNDS PR Automation #368: Issue comment #275 (comment) created by zazabap
1s
1s
[Rule] 3-DIMENSIONAL MATCHING to 3-MATROID INTERSECTION PR Automation #367: Issue comment #350 (comment) created by zazabap
1s
1s
[Rule] PARTITION to K-th LARGEST m-TUPLE PR Automation #366: Issue comment #345 (comment) created by zazabap
1s
1s
[Rule] DIRECTED TWO-COMMODITY INTEGRAL FLOW to UNDIRECTED TWO-COMMODITY INTEGRAL FLOW PR Automation #365: Issue comment #277 (comment) created by zazabap
11s
11s
[Rule] HAMILTONIAN PATH BETWEEN TWO VERTICES to LONGEST PATH PR Automation #364: Issue comment #267 (comment) created by zazabap
1s
1s
[Rule] HAMILTONIAN CIRCUIT to BOUNDED COMPONENT SPANNING FOREST PR Automation #363: Issue comment #238 (comment) created by zazabap
1s
1s
[Rule] PLANAR 3SAT to GEOMETRIC CONNECTED DOMINATING SET PR Automation #362: Issue comment #285 (comment) created by zazabap
2s
2s
[Rule] PARTITION to INTEGRAL FLOW WITH MULTIPLIERS PR Automation #361: Issue comment #271 (comment) created by zazabap
1s
1s
[Rule] HAMILTONIAN CIRCUIT to QUADRATIC ASSIGNMENT PROBLEM PR Automation #360: Issue comment #281 (comment) created by zazabap
2s
2s
[Rule] HAMILTONIAN PATH to ISOMORPHIC SPANNING TREE PR Automation #359: Issue comment #234 (comment) created by zazabap
2s
2s
[Rule] HAMILTONIAN CIRCUIT to BOTTLENECK TSP PR Automation #358: Issue comment #259 (comment) created by zazabap
1s
1s
[Rule] RSDF to MixedEntanglementSeparability PR Automation #357: Issue comment #177 (comment) created by zazabap
1s
1s
[Rule] 3SAT to PATH CONSTRAINED NETWORK FLOW PR Automation #356: Issue comment #272 (comment) created by zazabap
1s
1s
ProTip! You can narrow down the results and go further in time using created:<2026-03-11 or the other filters available.