亨德里克·比尔莱;格雷姆·恒河;塔克,吉多;Jip J.德克尔。;彼得·斯图基(Peter J.Stuckey)。 为SAT耦合不同的整数编码。 (英语) Zbl 1502.68268号 Schaus,Pierre(编辑),约束编程、人工智能和运筹学的集成。第19届国际会议,CPAIOR 2022,美国加利福尼亚州洛杉矶,2022年6月20日至23日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13292, 44-63 (2022).MSC公司:68T20型 90C09型 PDF格式BibTeX公司 XML格式引用 \textit{H.Bierlee}等人,Lect。注释计算。科学。13292,44-63(2022;Zbl 1502.68268) 全文: 内政部
李娇阳;丹尼尔·哈拉博尔;彼得·斯图基(Peter J.Stuckey)。;马,杭;格雷姆·恒河;斯文·柯尼格 多智能体路径搜索的成对对称推理。 (英语) Zbl 1478.68326号 Artif公司。智力。 301,文章ID 103574,37 p.(2021).MSC公司:68T20型 68T40型 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{J.Li}等人,Artif。智力。301,文章ID 103574,37 p.(2021;Zbl 1478.68326) 全文: 内政部 arXiv公司
罗伯托·阿马迪尼;甘格,格雷姆;彼得·斯图基(Peter J.Stuckey)。 字符串约束求解的虚线字符串。 (英语) Zbl 1504.68202号 Artif公司。智力。 289,文章ID 103368,31 p.(2020).MSC公司:68T20型 68瓦32 PDF格式BibTeX公司 XML格式引用 \textit{R.Amadini}等人,Artif。智力。289,文章ID 103368,31 p.(2020;Zbl 1504.68202) 全文: 内政部
爱德华·兰姆;格雷姆·恒河;彼得·斯图基(Peter J.Stuckey)。;帕斯卡·范·亨特利克;Jip J.德克尔。 肉豆蔻:使用分支和检查的MIP和CP混合解算器。 (英语) Zbl 1459.90133号 序号操作。Res.论坛 第1期,第3期,第22号论文,第28页(2020年).MSC公司:90立方厘米11 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号 约束条件 第1期第24页,56-93页(2019).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{D.de Uña}等人,《限制条件24》,第1期,第56-93页(2019年;Zbl 1468.68195) 全文: 内政部
碧劳卡、米海;格雷姆·恒河;帕特里克·希利;金·万豪酒店;彼得·莫尔德;彼得·斯图基(Peter J.Stuckey)。 自动最小高度表布局。 (英语) Zbl 1328.90120号 信息J.计算。 27,第3期,449-461(2015).MSC公司:90C27型 90立方厘米11 90 C90 PDF格式BibTeX公司 XML格式引用 \textit{M.Bilauca}等人,《信息与计算》。27,第3号,449--461(2015;Zbl 1328.90120) 全文: 内政部 链接
格雷姆·恒河;彼得·斯图基(Peter J.Stuckey)。;拉多斯瓦夫·西曼内克 MDD传播器及其解释。 (英语) Zbl 1241.90066号 约束条件 16,第4期,407-429(2011).MSC公司:90B50型 PDF格式BibTeX公司 XML格式引用 \textit{G.Gange}等人,《约束16》,第4期,407--429(2011;Zbl 1241.90066) 全文: 内政部