苏，武藏;井上，胜美;铃木田村;穆苏诺里·班巴拉;希德托莫·纳贝希玛 一种基于SAT的二维条形装箱问题求解方法。 （英语） Zbl 1214.68374号 芬丹。通知。 102，编号3-4，467-487（2010）. 摘要：我们提出了一种基于可满足性测试（SAT）的精确方法来解决二维条形包装问题（2SPP）。在这个问题中，我们得到了一组矩形和一个称为条的大矩形。该问题的目标是通过最小化包装的总高度，将所有矩形无重叠地包装到带中。虽然2SPP已经在运筹学中进行了研究，但有些情况仍然很难解决。我们的方法通过一种称为顺序编码的SAT编码将2SPP转换为SAT问题来解决它。翻译后的SAT问题往往很大；因此，我们采用了几种技术，通过打破矩形的对称性和位置关系来缩小搜索空间。要求解2SPP，即要计算2SPP的最小高度，我们需要重复求解类似的SAT问题。因此，我们重用了从以前解决的SAT问题中学习到的子句和假设。为了评估我们的方法，我们从文献中获得了38个实例的结果，并与约束满足解算器和特殊2SPP解算器进行了比较。 引用于6文件 MSC公司： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 关键词：布尔可满足性;带材包装问题;SAT编码;约束满足问题 软件：超小卫星;讽刺 PDF格式BibTeX公司 XML格式引用 \textit{T.Soh}等人，Fundam。通知。102，编号3--4，467--487（2010；Zbl 1214.68374） 全文： 链接