×

2006年和2007年Max-SAT评估:贡献实例。 (英语) Zbl 1159.68565号

摘要:在本技术报告中,我们简要描述了提交给2006年和2007年Max-SAT评估的实例。首先,我们介绍了可以直接编码为Max-SAT的实例。然后,我们描述了将来自其他优化框架的问题实例转换为Max-SAT的方法。最后,我们给出了一个包含每组问题实例的简短描述的快速参考表。

MSC公司:

68T20型 人工智能背景下的问题解决(启发式、搜索策略等)

关键词:

Max-SAT问题实例
PDF格式BibTeX公司 XML格式引用