阿坤、奥祖尔;杰西卡·恩赖特;克里斯托弗·杰斐逊;Ciaran McCreesh;帕特里克·普洛瑟;斯泰芬·兹夏勒 寻找具有边约束的子图。 （英语） Zbl 07493639号 Stuckey，Peter J.（编辑），约束编程、人工智能和运筹学的集成。第18届国际会议，2021年7月5日至8日，奥地利维也纳，CPAIOR 2021。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。12735, 348-364 (2021).MSC公司：68T20型 90立方厘米27 PDF格式BibTeX公司 XML格式引用 \textit{Ù.Akgün}等人，Lect。注释计算。科学。12735348--364（2021；Zbl 07493639） 全文： 内政部 链接
Ciaran McCreesh;帕特里克·普洛瑟;詹姆斯·特里姆布尔 格拉斯哥子图求解器：使用约束编程处理硬子图同构问题变体。 （英语） 兹比尔1502.68241 Gadducci，Fabio（编辑）等人，《图形变换》。2020年6月25日至26日，作为STAF 2020的一部分，在挪威卑尔根举行了第13届国际会议，ICGT 2020。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。12150, 316-324 (2020).MSC公司：68兰特 05C60型 68-04 PDF格式BibTeX公司 XML格式引用 \textit{C.McCreesh}等人，Lect。注释计算。科学。12150316-324（2020；Zbl 1502.68241） 全文： 内政部