王文喜；哈拉尔德·森德加德；彼得·斯图基（Peter J.Stuckey）。 Wombit：使用单词级传播的组合位向量解算器。 （英语） Zbl 1468.68210号 J.自动化。推理 63，第3期，723-762（2019）.MSC公司：68T20型 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{W.Wang}等人，J.Autom。推理63，No.3，723--762（2019；Zbl 1468.68210） 全文： DOI程序 链接
斯特凡·克雷特；安德烈亚斯·舒特；彼得·斯图基（Peter J.Stuckey）。；吉尔根·齐默尔曼 用于解决资源可用性成本问题的混合整数线性规划和约束规划公式。 （英语） 兹比尔1403.90525 欧洲药典。物件。 266，第2期，472-486（2018）.MSC公司：90立方厘米 90B35型 PDF格式BibTeX公司 XML格式引用 \textit{S.Kreter}等人，《欧洲药典》。第266号决议，第2号，472--486（2018；Zbl 1403.90525） 全文： DOI程序
斯特凡·克雷特；安德烈亚斯·舒特；彼得·斯图基（Peter J.Stuckey）。 使用约束编程求解RCPSP/MAX-cal。 （英语） Zbl 1387.90092号 约束条件 22，第3期，432-462（2017）.MSC公司：90B35型 PDF格式BibTeX公司 XML格式引用 \textit{S.Kreter}等人，《约束》22，第3期，432--462（2017；Zbl 1387.90092） 全文： DOI程序
碧劳卡、米海；格雷姆·恒河；帕特里克·希利；金·万豪酒店；彼得·莫尔德；彼得·斯图基（Peter J.Stuckey）。 自动最小高度表布局。 （英语） Zbl 1328.90120号 信息J.计算。 27，第3期，449-461（2015）.MSC公司：90C27型 90立方厘米 90 C90 PDF格式BibTeX公司 XML格式引用 \textit{M.Bilauca}等人，《信息与计算》。27，第3号，449--461（2015；Zbl 1328.90120） 全文： DOI程序 链接
雷汉·阿卜杜勒·阿齐兹；杰弗里·楚；克里斯蒂安·缪斯；彼得·斯塔基 \（\#{\exists}\mathrm{SAT}\）：投影模型计数。 （英语） Zbl 1471.68174号 Heule，Marijn（编辑）等人，《满意度测试的理论和应用——SAT 2015》。第18届国际会议，美国德克萨斯州奥斯汀，2015年9月24日至27日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9340, 121-137 (2015).MSC公司：68兰特 PDF格式BibTeX公司 XML格式引用 \textit{R.A.Aziz}等人，Lect。注释计算。科学。9340、121--137（2015；Zbl 1471.68174） 全文： DOI程序 arXiv公司
De Cat，Broes公司；马克·德内克；莫里斯·布吕诺格；彼得·斯塔基 懒惰的模型扩展：将接地与搜索交织在一起。 （英语） Zbl 1323.68464号 J.人工制品。智力。研究（JAIR） 52, 235-286 (2015).MSC公司：68T20型 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit｛B.De Cat｝等人，J.人工制品。智力。研究（JAIR）52，235-286（2015；Zbl 1323.68464） 全文： DOI程序 arXiv公司
杰弗里·楚；玛丽亚·加西亚·德拉班达；克里斯托弗·米尔斯；彼得·斯图基（Peter J.Stuckey）。 对称性、几乎对称性和惰性子句生成。 （英语） Zbl 1316.90045号 约束条件 19，第4期，434-462（2014）.MSC公司：90立方 PDF格式BibTeX公司 XML格式引用 \textit{G.Chu}等人，《限制条件》19，第4期，434--462（2014；Zbl 1316.90045） 全文： DOI程序 链接
凯瑟琳·格伦·弗朗西斯；彼得·斯图基（Peter J.Stuckey）。 解释电路传播。 （英语） Zbl 1310.05144号 约束条件 19，第1期，1-29页（2014年）.MSC公司：05C62号 05C82号 05C38号 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Francis}和\textit{P.J.Stuckey}，《限制条件》19，第1期，1-29（2014；Zbl 1310.05144） 全文： DOI程序 链接
雷汉·阿卜杜勒·阿齐兹；杰弗里·楚；彼得·斯图基（Peter J.Stuckey）。 已建立边界的稳定模型语义。 （英语） Zbl 1286.68038号 理论与实践。日志。程序。 13，No.4-5，517-532（2013）.MSC公司：68N17号 68问题55 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{R.A.Aziz}等人，《理论与实践》。日志。程序。13、编号4--5、517--532（2013；Zbl 1286.68038） 全文： DOI程序
安德烈亚斯·舒特；蒂鲍特·费迪；彼得·斯图基（Peter J.Stuckey）。；马克·华莱士。 通过惰性子句生成解决RCPSP/max。 （英语） Zbl 1280.90067号 J.Sched。 16，第3期，273-289（2013）.MSC公司：90B35型 68平方米 90C09型 PDF格式BibTeX公司 XML格式引用 \textit{A.Schutt}等人，J.Sched。16，第3号，273--289（2013；Zbl 1280.90067） 全文： DOI程序 链接
安德烈亚斯·舒特；蒂鲍特·费迪；彼得·斯图基（Peter J.Stuckey）。 解释累积资源约束的时间表边缘传播。 （英语） Zbl 1382.68232号 Gomes，Carla（ed.）等人，组合优化问题约束编程中AI和OR技术的集成。2013年5月18日至22日，第十届国际会议，CPAIOR 2013，美国纽约州约克敦高地。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-38170-6/pbk）。计算机科学课堂讲稿7874，234-250（2013）。MSC公司：68T20型 90B35型 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Schutt}等人，Lect。注释计算。科学。7874234--250（2013年；Zbl 1382.68232） 全文： DOI程序 arXiv公司
格雷姆·恒河；彼得·斯图基（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） 全文： DOI程序
安德烈亚斯·舒特；蒂鲍特·费迪；彼得·斯图基（Peter J.Stuckey）。；马克·华莱士。 解释累计传播者。 （英语） Zbl 1226.68099号 约束条件 16，第3期，250-282（2011）.MSC公司：68T20型 90B35型 PDF格式BibTeX公司 XML格式引用 \textit{A.Schutt}等人，《约束16》，第3期，250-282（2011；Zbl 1226.68099） 全文： DOI程序
恒河，G。；斯图基，P.J。；弗吉尼亚州泻湖。 使用BDD-SAT混合的快速集合边界传播。 （英语） Zbl 1210.68100号 J.人工制品。智力。研究（JAIR） 38, 307-338 (2010).MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{G.Gange}等人，J.Artif。智力。研究（JAIR）38，307--338（2010；Zbl 1210.68100） 全文： DOI程序 arXiv公司
蒂莫·伯托尔德；蒂鲍特·费迪；彼得·斯图基（Peter J.Stuckey）。 二进制程序的快速学习。 （英语） Zbl 1285.68151号 Lodi，Andrea（编辑）等，组合优化问题约束编程中AI和OR技术的集成。2010年6月14日至18日在意大利博洛尼亚举行的2010年CPAIOR第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-13519-4/pbk）。计算机科学课堂讲稿6140，51-55（2010）。MSC公司：68T20型 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{T.Berthold}等人，Lect。注释计算。科学。6140、51-55（2010年；Zbl 1285.68151） 全文： DOI程序
杰弗里·楚；亚伦·哈伍德；彼得·斯图基（Peter J.Stuckey）。 布尔可满足性求解器的缓存意识数据结构。 （英语） Zbl 1187.68169号 J.满意。布尔模型。计算。 6，编号1-3，99-120（2009）.MSC公司：68第05页 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{G.Chu}等人，J.Satisf。布尔模型。计算。6，编号1--3，99-120（2009；Zbl 1187.68169）
奥尔加·奥里蒙科；彼得·斯图基（Peter J.Stuckey）。；科迪什，迈克尔 通过惰性子句生成进行传播。 （英语） Zbl 1192.68654号 约束条件 14，第3期，357-391（2009）.MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{O.Ohrimenko}等人，约束14，No.3，357--391（2009；Zbl 1192.68654） 全文： DOI程序