组合优化中的命题逻辑--以图顶点染色问题为研究介质

摘要	第1-5页
Abstract	第5-9页
1 引言	第9-14页
·组合优化问题概述	第10-11页
·组合优化问题中的命题逻辑	第11页
·组合优化与图染色问题	第11-12页
·本文研究内容及文章结构	第12-14页
2 SAT 问题概述	第14-30页
·SAT 问题及其研究现状	第14-17页
·SAT 问题的求解	第17-21页
·对现代SAT 完备求解器的分析	第21-28页
·SAT 与组合优化问题	第28-30页
3 求解图染色问题的完备算法	第30-43页
·图染色问题概述	第31-32页
·单节点传播	第32-34页
·对称性	第34-39页
·节点选择策略	第39-43页
4 Snail：基于命题逻辑的图染色完备求解器	第43-59页
·图染色与SAT	第43-45页
·Snail 概述	第45-47页
·Snail 中若干重要技术	第47-52页
·实验对比与数据分析	第52-56页
·Snail 的程序设计与实现	第56-58页
·Snail 的不足与改进	第58-59页
5 总结与展望	第59-60页
·工作总结	第59页
·未来工作展望	第59-60页
致谢	第60-61页
参考文献	第61-64页