楼梯的双重编码最基本的一个约束抗体宽度问题

此页提供对源代码和实验数据的访问在CPAIOR’20上发表的一篇论文以及相关的源代码提交的2020年SAT竞赛基准。

论文

Katalin Fazekas、Markus Sinnl、Armin Biere、Sophie Parragh。双面打印楼梯宽度的最大约束编码问题.英寸程序。第17届国际会议。上的约束编程、人工智能和运筹学（CPAIOR’20）,计算机课堂笔记科学（LNCS）第12296卷，第186-204页，施普林格出版社2020
[预印本|围巾|实验]

卡塔琳·法泽卡斯（Katalin Fazekas），阿明·比埃尔（Armin Biere）。抗体宽度的双重编码可行性.英寸程序。2020年SAT竞赛-解决方案和基准描述、托马斯·巴利奥、尼尔斯·弗罗利克斯、玛丽恩·赫勒、马库斯Iser，Matti Järvisalo，Martin Suda（编辑），第B-2020-1卷计算机科学部报告系列B，2020年。第81-82页，赫尔辛基大学，2020年。
[纸张|围巾|基准]

双工编码器的当前版本

双工编码器的最新源代码（用于基准生成）可用在这里.

2020年SAT竞赛基准提交

生成SC 2020提交基准的脚本是可用的在这里。请参阅在文件开头添加了有关如何使用它的注释脚本需要最新版本（1.2）的双工编码器。

CPAIOR提交

实验的问题实例有在这里.

实验评估的日志文件为在这里.

实验中使用的双工编码器的源代码是可用的在这里.