亨德里克·比尔利;格雷姆·恒河;塔克,吉多;Jip J.德克尔。;彼得·斯图基(Peter J.Stuckey)。 为SAT耦合不同的整数编码。 (英语) Zbl 1502.68268号 Schaus,Pierre(编辑),约束编程、人工智能和运筹学的集成。第19届国际会议,CPIOR 2022,美国加利福尼亚州洛杉矶,2022年6月20日至23日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13292, 44-63 (2022).MSC公司:68T20型 2009年9月90日 PDF格式BibTeX公司 XML格式引用 \textit{H.Bierlee}等人,Lect。注释计算。科学。13292,44-63(2022;Zbl 1502.68268) 全文: 内政部
爱德华·兰姆;格雷姆·恒河;彼得·斯图基(Peter J.Stuckey)。;帕斯卡·范·亨特利克;Jip J.德克尔。 肉豆蔻:使用分支和检查的MIP和CP混合解算器。 (英语) Zbl 1459.90133号 序号操作。Res.论坛 第1期,第3期,第22号论文,第28页(2020年).MSC公司:90立方厘米 90C57型 PDF格式BibTeX公司 XML格式引用 \textit{E.Lam}等人,序号Oper。Res.Forum 1,No.3,论文No.22,28 p.(2020;Zbl 1459.90133) 全文: 内政部
迭戈·德乌尼亚;格雷姆·恒河;彼得·沙赫特;彼得·斯图基(Peter J.Stuckey)。 将CP子问题编译为MDD和d-DNNF。 (英语) Zbl 1468.68195号 约束条件 24,第1号,56-93(2019).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{D.de Uña}等人,《限制条件24》,第1期,第56-93页(2019年;Zbl 1468.68195) 全文: 内政部