A demand-expanded SAT encoding with infeasible-orientation elimination certifies two to three times more optimal solutions for the 2D-CSSP than OR-Tools, CPLEX, or Gurobi on the Cui-Zhao suite.
Gurobi optimizer reference manual (v13.0)
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.AI 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Solving the Two-dimensional single stock size Cutting Stock Problem with SAT and MaxSAT
A demand-expanded SAT encoding with infeasible-orientation elimination certifies two to three times more optimal solutions for the 2D-CSSP than OR-Tools, CPLEX, or Gurobi on the Cui-Zhao suite.