费德里科·赫拉斯;哈维尔·拉罗萨;西蒙·德·吉夫里;托马斯·希克斯 2006年和2007年Max-SAT评估:贡献实例。 (英语) Zbl 1159.68565号 J.满意。布尔模型。计算。 4,编号2-4,239-250(2008). 摘要:在本技术报告中,我们简要描述了提交给2006年和2007年Max-SAT评估的实例。首先,我们介绍了可以直接编码为Max-SAT的实例。然后,我们描述了将来自其他优化框架的问题实例转换为Max-SAT的方法。最后,我们给出了一个包含每组问题实例的简短描述的快速参考表。 引用于7文件 MSC公司: 68T20型 人工智能背景下的问题解决(启发式、搜索策略等) 关键词:Max-SAT问题实例 软件:普韦布洛;阿巴克斯 PDF格式BibTeX公司 XML格式引用 \textit{F.Heras}等人,J.Satisf。布尔模型。计算。4,编号:2-4239-250(2008年;兹bl 1159.68565)