arXiv ID:
2604.01732
arXiv 提交日期: 2026-04-02
使用SAT和MaxSAT求解二维单规格板材切割问题 / Solving the Two-dimensional single stock size Cuting Stock Problem with SAT and MaxSAT
1️⃣ 一句话总结
这篇论文提出了一种基于逻辑可满足性(SAT)的新方法,通过将复杂的板材切割问题转化为逻辑约束求解,在保证不重叠且满足需求的前提下,比现有主流优化工具能更有效地找到使用最少板材的切割方案。