Conflict-Driven Clause Learning with VSIDS Heuristics for Discrete Facility Layout

This paper studies the use of Conflict-Driven Clause Learning (CDCL) with VSIDS heuristics as a computational engine for discrete facility layout problems. The facility layout problem is modeled as a combinatorial assignment problem with dense logical structure arising from adjacency, separation, and slot-availability constraints. We develop a CNF-based formulation for layout feasibility and compare CDCL-based SAT solving against CP-SAT and MILP formulations under a unified benchmarking framework. This research highlights the practical applicability of CDCL in optimizing real-world logistics and design challenges.