米歇尔,L。;P.绍斯。;Van Hentenryck,P。 MiniCP:用于约束编程的轻量级解算器。 (英语) Zbl 1480.90231号 数学。程序。计算。 13,编号1,133-184(2021).MSC公司:90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{L.Michel}等人,数学。程序。计算。13,编号1,133--184(2021;Zbl 1480.90231) 全文: 内政部
爱德华·兰姆;格雷姆·恒河;彼得·斯图基(Peter J.Stuckey)。;帕斯卡·范·亨特利克;Jip J.德克尔。 肉豆蔻:使用分支和检查的MIP和CP混合解算器。 (英语) Zbl 1459.90133号 序号操作。Res.论坛 第1期,第3期,第22号论文,第28页(2020年).MSC公司:90立方厘米 90立方厘米57 PDF格式BibTeX公司 XML格式引用 \textit{E.Lam}等人,SN Oper。Res.Forum 1,No.3,论文No.22,28 p.(2020;Zbl 1459.90133) 全文: 内政部
米歇尔,L。;Van Hentenryck,P。 用于约束编程的微内核体系结构。 (英语) Zbl 1390.90520号 约束条件 22,第2期,107-151(2017).MSC公司:90立方厘米 90-04 PDF格式BibTeX公司 XML格式引用 \textit{L.Michel}和\textit{P.Van Hentenryck},《约束》22,第2期,第107--151页(2017;Zbl 1390.90520) 全文: 内政部 arXiv公司
Jean-Baptiste梅里;帕斯卡·范·亨特利克;伊夫·迪维尔 针对表约束的最优高效过滤算法。 (英语) Zbl 1328.68201号 约束条件 19,第1期,77-120(2014).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.-B.Mairy}等人,《限制条件》19,第1期,77-120(2014;Zbl 1328.68201) 全文: 内政部 链接
帕斯卡·范·亨特利克;劳伦特·米歇尔;刘丽媛 用于局部搜索的基于约束的组合子。 (英语) Zbl 1102.68460号 约束条件 10,第4期,363-384(2005).MSC公司:68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{P.Van Hentenryck}等人,约束10,No.4,363--384(2005;Zbl 1102.68460) 全文: 内政部
格拉芙,T。;Van Hentenryck,P。;Pradelles-Lasserre,C。;齐默尔,L。 约束逻辑编程中混合电路的仿真。 (英语) Zbl 0728.68144号 计算。数学。申请。 20,编号9-10,45-56(1990).MSC公司:68单位99 68单位07 PDF格式BibTeX公司 XML格式引用 \textit{T.Graf}等人,计算。数学。申请。20,编号9--10,45-56(1990;Zbl 0728.68144) 全文: 内政部