米歇尔,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) 全文: 内政部
米歇尔,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公司
帕斯卡·范·亨特利克;劳伦特·米歇尔;刘丽媛 用于局部搜索的基于约束的组合子。 (英语) 兹比尔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) 全文: 内政部