| 致谢 | 第1-6页 |
| 中文摘要 | 第6-7页 |
| ABSTRACT | 第7-10页 |
| 第一章 绪论 | 第10-15页 |
| 1 引言 | 第10-11页 |
| 2 研究背景与意义 | 第11-15页 |
| 第二章 域传播(Domain Propagation) | 第15-25页 |
| 1 论基础 | 第15-18页 |
| 2 线性约束域传播算法 | 第18-25页 |
| 第三章 预处理(Presolving) | 第25-51页 |
| 1 一般线性约束预处理 | 第25-39页 |
| 2 特殊形式约束预处理 | 第39-47页 |
| ·背包约束预处理 | 第39-44页 |
| ·集合划分、集合配置和集合覆盖约束 | 第44-46页 |
| ·变量界约束 | 第46-47页 |
| ·整数变量转换为0-1变量 | 第47页 |
| 3 探测(Probing) | 第47-51页 |
| 第四章 数值实验 | 第51-61页 |
| 1 几个重要的算法实现技术 | 第51-56页 |
| ·扩展欧几里德算法 | 第51-52页 |
| ·聚合变量的处理 | 第52-56页 |
| 2 数值实验 | 第56-61页 |
| ·较小模型 | 第56-59页 |
| ·较大模型 | 第59-61页 |
| 第五章 结论 | 第61-62页 |
| 参考文献 | 第62-65页 |
| 附录 | 第65-67页 |
| 学位论文数据集 | 第67页 |