Issues

• [Rule] SubsetProduct to CircuitSAT

  CodingThrust/problem-reductions#1206 · Filter by author ThiagoCAltoe opened on Oct 13, 2026

• [Rule] MaximumContactMapOverlap to MaximumClique

  CodingThrust/problem-reductions#1205 · Filter by author ThiagoCAltoe opened on Oct 13, 2026

• [Rule] MaximumCommonEdgeSubgraph to MaximumClique

  CodingThrust/problem-reductions#1204 · Filter by author ThiagoCAltoe opened on Oct 13, 2026

• [Rule] ConjunctiveQueryFoldability to Satisfiability

  CodingThrust/problem-reductions#1203 · Filter by author ThiagoCAltoe opened on Oct 13, 2026

• [Rule] BoyceCoddNormalFormViolation to Satisfiability

  CodingThrust/problem-reductions#1202 · Filter by author ThiagoCAltoe opened on Oct 13, 2026

• [Rule] OneInThreeSatisfiability to SubsetProduct

  CodingThrust/problem-reductions#1201 · Filter by author ThiagoCAltoe opened on Oct 13, 2026

• [Rule] Unit ComparativeContainment to DecisionQUBO

  CodingThrust/problem-reductions#1200 · Filter by author ThiagoCAltoe opened on Oct 13, 2026

• [Rule] DecisionMinimumVertexCover to DecisionMaximumLeafSpanningTree

  CodingThrust/problem-reductions#1199 · Filter by author ThiagoCAltoe opened on Oct 13, 2026

• [Rule] IntegerExpressionMembership to binary ILP

  CodingThrust/problem-reductions#1198 · Filter by author ThiagoCAltoe opened on Oct 13, 2026

• [Rule] SimultaneousIncongruences to bounded integer ILP

  CodingThrust/problem-reductions#1197 · Filter by author ThiagoCAltoe opened on Oct 13, 2026

• LongestCommonSubsequence to MaximumIndependentSet violates the polynomial-time contract for unrestricted string count

  CodingThrust/problem-reductions#1191 · Filter by author isPANN opened on Oct 4, 2026

• Improve path selection with direct multi-parameter formula comparisons

  enhancement
  CodingThrust/problem-reductions#1187 · Filter by author isPANN opened on Sep 28, 2026

• Align Big-O display with SymPy Order semantics

  enhancementlow priority
  CodingThrust/problem-reductions#1186 · Filter by author isPANN opened on Sep 28, 2026

• Path ranking: Pareto layers over target parameters (symbolic and numerical modes)

  Discussionenhancement
  CodingThrust/problem-reductions#1179 · Filter by author isPANN opened on Sep 26, 2026

• Add a size budget to concrete path execution

  enhancement
  CodingThrust/problem-reductions#1178 · Filter by author isPANN opened on Sep 26, 2026

• pred path with an instance: one failing path aborts the whole batch

  bug
  CodingThrust/problem-reductions#1177 · Filter by author isPANN opened on Sep 26, 2026

• Timeout when using the library

  CodingThrust/problem-reductions#1152 · Filter by author zazabap opened on Sep 15, 2026
  1

• [Enhancement] Reduce 3SAT-to-QUBO auxiliary variables through shared literal pairs

  CodingThrust/problem-reductions#1150 · Filter by author isPANN opened on Sep 14, 2026

• [Correctness] Define graph and set domains consistently across models and reductions

  CodingThrust/problem-reductions#1149 · Filter by author isPANN opened on Sep 13, 2026

• Separate CVP integer and floating-point variants under the numeric contract

  enhancement
  CodingThrust/problem-reductions#1146 · Filter by author isPANN opened on Sep 8, 2026

• Separate lazy search cardinality from machine-sized storage requirements

  bug
  CodingThrust/problem-reductions#1143 · Filter by author isPANN opened on Sep 7, 2026

• Separate witness feasibility and source solve conclusions at shared boundaries

  bug
  CodingThrust/problem-reductions#1141 · Filter by author isPANN opened on Sep 7, 2026

• [Rule] ThreeDimensionalMatching to ExactCoverBy3Sets

  Goodrule
  CodingThrust/problem-reductions#1103 · Filter by author isPANN opened on Aug 1, 2026
  3

• [Rule] MaxCut/One to Maximum2Satisfiability

  Goodrule
  CodingThrust/problem-reductions#1102 · Filter by author isPANN opened on Aug 1, 2026
  3

• [Rule] NAESatisfiability to Satisfiability

  Goodrule
  CodingThrust/problem-reductions#1101 · Filter by author isPANN opened on Aug 1, 2026
  3