×

温哥华的五十五名解算员:2004年SAT竞赛。 (英语) 兹比尔1122.68609

Hoos,Holger H.(编辑)等,可满足性测试的理论和应用。2004年5月10日至13日,加拿大不列颠哥伦比亚省温哥华市,2004年SAT第七届国际会议。修订了选定的论文。柏林:施普林格出版社(ISBN 3-540-27829-X/pbk)。计算机科学课堂讲稿3542,321-344(2005)。
小结:连续第三年,SAT竞赛作为与SAT会议的联合活动被组织起来。来自25个作者团体的55位解题者,此次比赛取得了明显的成功。2004年比赛中值得注意的一个事实是,在可满足的随机k-SAT基准上,不完全解算器的优势。还可以指出,今年颁发的完整解算器,即Zchaff、jerusat1.3、satzoo-1.02、kncfs和march-eq,参加了2003年SAT竞赛(或至少是这些解算器的前一版本)。本文并没有报告详尽的竞赛结果,这些结果已经在网上详细公布,而是侧重于从竞赛数据集中得出的一些显著结果。
2004年SAT竞赛结束了为期3年的起飞期,吸引了新的SAT研究人员,并为社区提供了许多新的基准和解决方案。今年的参赛率很高(尽管加入了反黑箱规则),这使得比赛成为了每年都会举行的比赛。文章的最后讨论了一些新的思路,为竞争提供了新的思路。
关于整个系列,请参见[Zbl 1075.68002号].

MSC公司:

68T20型 人工智能背景下的问题解决(启发式、搜索策略等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部