Accelerating Discrete Facility Layout Optimization: A Hybrid CDCL and CP-SAT Architecture

概要

arXiv:2512.18034v3 Announce Type: replace Abstract: Discrete facility layout design involves placing physical entities to minimize handling costs while adhering to strict safety and spatial constraints. This combinatorial problem is typically addressed using Mixed Integer Linear Programming (MILP) …