亚历山大·博克迈尔；托马斯·卡斯珀 分支和推断：整数和有限域约束编程的统一框架。 （英语） Zbl 1034.90517号 信息J.计算。 10，第3期，287-300（1998年）. 摘要：我们介绍了分支和推断，这是整数线性规划和有限域约束规划的统一框架。我们使用这个框架比较了这两种方法的建模和求解能力，将符号约束抽象引入整数规划，并讨论了这两个方法的可能组合。 引用于14文件 MSC公司： 90立方厘米 整数编程 90C27型 组合优化 软件：克莱尔；欧兹；OR-库；OPBDP公司 PDF格式BibTeX公司 XML格式引用 \textit{A.Bockmayr}和\textit{T.Kasper}，《信息与计算》。10，第3号，287--300（1998；Zbl 1034.90517） 全文： DOI程序 链接