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 #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
[Rule] 3SAT to INTEGRAL FLOW WITH HOMOLOGOUS ARCS PR Automation #355: Issue comment #273 (comment) created by zazabap
1s
1s
[Rule] 3SAT to MAXIMUM LENGTH-BOUNDED DISJOINT PATHS PR Automation #354: Issue comment #279 (comment) created by zazabap
1s
1s
[Rule] PARTITION to SHORTEST WEIGHT-CONSTRAINED PATH PR Automation #353: Issue comment #268 (comment) created by zazabap
2s
2s
[Model] SteinerTree PR Automation #352: Issue comment #122 (comment) created by zazabap
1s
1s
[Rule] HAMILTONIAN PATH to KTH BEST SPANNING TREE PR Automation #351: Issue comment #236 (comment) created by zazabap
3s
3s
[Model] BalancedCompleteBipartiteSubgraph PR Automation #350: Issue comment #239 (comment) created by zazabap
1s
1s
[Rule] HamiltonianCircuit to MinimumStackerCrane PR Automation #349: Issue comment #261 (comment) created by zazabap
3s
3s
[Rule] NOT-ALL-EQUAL 3SAT to SET SPLITTING PR Automation #348: Issue comment #348 (comment) created by zazabap
2s
2s
[Model] BiconnectivityAugmentation PR Automation #347: Issue comment #230 (comment) created by zazabap
1s
1s
[Rule] STEINER TREE to NETWORK RELIABILITY PR Automation #346: Issue comment #256 (comment) created by zazabap
1s
1s
[Model] NetworkReliability PR Automation #345: Issue comment #235 (comment) created by zazabap
1s
1s
[Model] SubgraphIsomorphism PR Automation #344: Issue comment #218 (comment) created by zazabap
2s
2s
[Model] BottleneckTravelingSalesman PR Automation #343: Issue comment #240 (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.