尤里·切比里亚克;丹尼尔·克罗宁 六立方体中哈密顿圈的分类。 （英语） Zbl 1147.68703号 J.满意。布尔模型。计算。 4，第1号，57-74（2008）. 摘要：我们考虑二元超立方体中哈密顿圈的分类问题。之前的工作提出了使用边缘表示法对这些循环进行分类，并将其表示为维度4。我们使用命题SAT约简将循环进一步分为两个维度。我们提出的算法。从等价类集合的过近似开始，然后使用对SAT解析器的查询对其进行优化，以消除虚假循环。我们的方法比5立方体中对称性破坏的枚举快三个数量级。 引用于6文件 MSC公司： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 05C38号 路径和循环 68兰特 计算机科学中的图论（包括图形绘制） 关键词：双音排序网络;代码等效性;格雷码 软件：超小卫星 PDF格式BibTeX公司 XML格式引用 \textit{Y.Chebiryak}和\textit{D.Kroening}，J.Satisf。布尔模型。计算。4、编号1、57--74（2008；Zbl 1147.68703）