2015年SAT等级

下载

概述

• 这个ipasir.zip包裹。
• 这个Starexec虚拟机.

SAT-Race中使用的基准实例

• 正线基准点：sr15长椅.zip
• 平行轨道基准：sr15长椅.zip
• 的列表可满足,无法满足和未解决实例。参与主轨迹或平行轨迹的任何解算器都没有解算未解决的实例。
• 新基准描述
• Joe Bebel：大素数的因式分解[文本]
• Jesus Giraldez-Cru和Jordi Levy：伪工业随机实例[pdf格式]
• 托比亚斯·塞巴斯蒂安·哈恩（Tobias Sebastian Hahn）、诺伯特·曼泰（Norbert Manthey）和托比亚斯·菲利普（Tobias-Philipp）：用SAT解决模博弈[pdf格式]
• Norbert Manthey：用SAT寻找单轨格雷码[pdf格式]
• Pavel Surynek:图上的多机器人路径规划[pdf格式]
• Aaron Tomb：密码算法的验证[文本]
• Florian Lonsing、Johannes Oetsch和Uwe Egly提交的增量轨道基准[tar.gz]与附加输入[焦距7z]

其他材料

• 稍后将提供。
• 。。。