Conflict-Driven Clause Learning with VSIDS Heuristics for Discrete Facility Layout. - Joshua Gibson; Kapil Dhakal (CoRR, 2025)