菲利普·雷法洛 约束规划模型和混合求解器的线性公式。 （英语） Zbl 1044.68792号 Dechter，Rina（编辑），约束编程的原理和实践-CP 2000。第六届国际会议，新加坡，2000年9月18日至21日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-41053-8）。莱克特。注释计算。科学。1894年，369-383（2000年）。 概要：约束编程提供了各种建模对象，如逻辑约束和全局约束，从而产生简洁明了的模型来表达组合优化问题。我们提出了一种方法来提供这种模型的线性公式，并详细说明了一些全局约束的转换。已经实现了一个自动生成和更新公式的过程，我们将在组合优化问题上对其进行说明。有关整个系列，请参见[Zbl 0947.00041号]. 引用于14文件 MSC公司： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 90C27型 组合优化 关键词：线性公式；全局约束；混合求解器 PDF格式BibTeX公司 XML格式引用 \textit{P.Refalo}，莱克特。注释计算。科学。1894369-383（2000年；兹比尔1044.68792） 全文： 链接