米歇尔,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。 用于约束编程的微内核体系结构。 (英语) 兹比尔139090520 约束条件 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公司
帕斯卡·范·亨特利克;劳伦特·米歇尔 混合搜索的非确定性控制。 (英语) Zbl 1112.68039号 约束条件 11,第4期,353-373(2006).MSC公司:68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{P.Van Hentenryck}和\textit{L.Michel},约束11,No.4,353--373(2006;Zbl 1112.68039) 全文: 内政部
帕斯卡·范·亨特利克;劳伦特·米歇尔;刘丽媛 用于局部搜索的基于约束的组合子。 (英语) 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) 全文: 内政部
艾丽特·凯特里尔;劳伦特·米歇尔;帕斯卡·范·亨特利克 以增量方式维护最长路径。 (英语) 兹比尔1084.68027 约束条件 10,第2期,159-183(2005).MSC公司:68第05页 68兰特 68T20型 05C85号 PDF格式BibTeX公司 XML格式引用 \textit{I.Katriel}等人,《约束10》,第2期,159--183(2005;Zbl 1084.68027) 全文: 内政部
帕斯卡·范·亨特利克;劳伦特·米歇尔 控制本地搜索的抽象。 (英语) Zbl 1084.68033号 约束条件 第2期第10期第137-157页(2005年).MSC公司:68页第10页 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{P.Van Hentenryck}和\textit{L.Michel},约束10,No.2,137--157(2005;Zbl 1084.68033) 全文: 内政部