An automated framework certifies pairwise idealness of rectangle-packing MILP formulations up to numeric tolerances, disproving one existing formulation and introducing a new multilinear one.
An epsilon-accurate model for optimal unequal-area block layout design
1 Pith paper cite this work, alongside 67 external citations. Polarity classification is still indexing.
1
Pith paper citing it
67
external citations · OpenAlex
fields
math.OC 1years
2026 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Automating Idealness Proofs for Binary Programs with Application to Rectangle Packing
An automated framework certifies pairwise idealness of rectangle-packing MILP formulations up to numeric tolerances, disproving one existing formulation and introducing a new multilinear one.