恩斯特·奥尔特豪斯；亚历山大·博克迈尔；小精灵，马提亚斯；迈克尔·Jünger；托马斯·卡斯珀；库尔特·梅尔霍恩 SCIL–整数线性规划中的符号约束。 （英语） Zbl 1019.90515号 Möhring，Rolf（编辑）等人，《算法——2002年欧洲账户体系》。第十届欧洲年会，意大利罗马，2002年9月17日至21日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。2461, 75-87 (2002). 摘要：我们描述了一个新的软件系统SCIL，它将符号约束引入到整数线性程序的分支与降价算法中。符号约束是从约束编程中获得的，对约束编程系统的表达能力、易用性和效率都有很大的帮助。有关整个系列，请参见[兹比尔0997.00026]. 引用于8文件 MSC公司： 90立方厘米 整数编程 90-04 与运筹学和数学编程有关的问题的软件、源代码等 90C27型 组合优化 90立方厘米 涉及图形或网络的编程 68瓦30 符号计算和代数计算 软件：SCIL公司 PDF格式BibTeX公司 XML格式引用 \textit{E.Althaus}等人，Lect。票据计算。科学。2461,75--87（2002年；Zbl 1019.90515） 全文： 链接