简·德雷尔;塞巴斯蒂安·奥德尼亚克;斯泽德,斯特凡 CSP超越了可处理的约束语言。 (英文) Zbl 07805096号 约束条件 28,编号3,450-471(2023).MSC公司:68季度xx 05摄氏度xx 68泰克 PDF格式BibTeX公司 XML格式引用 \textit{J.Dreier}等人,《约束》28,第3期,450-471(2023;Zbl 07805096) 全文: 内政部 OA许可证
彼得·琼森;维克托·拉盖克维斯特;塞巴斯蒂安·奥德尼亚克 无限域约束满足中的计算捷径。 (英文) Zbl 1502.68273号 J.阿蒂夫。智力。研究(JAIR) 75, 793-831 (2022).MSC公司:68T20型 65年第68季度 第68季度27 PDF格式BibTeX公司 XML格式引用 \textit{P.Jonsson}等人,J.Artif。智力。研究(JAIR)75,793--831(2022;Zbl 1502.68273) 全文: 内政部 arXiv公司
罗伯特·加尼安;金恩贞(Kim,Eun Jung);弗里德里希·斯利沃夫斯基;斯特凡·塞德尔 具有默认值的产品总和:算法和复杂性结果。 (英文) Zbl 07527533号 J.阿蒂夫。智力。研究(JAIR) 73, 535-552 (2022).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{R.Ganian}等人,J.Artif。智力。研究(JAIR)73,535--552(2022;Zbl 07527533) 全文: 内政部
大卫·A·科恩。;马丁·库珀。;彼得·杰文斯(Peter G.Jeavons)。;斯坦尼斯拉夫·伊文 模式的Galois连接:标记图的代数。 (英文) Zbl 1467.68176号 Cochez,Michael(编辑)等人,《知识表示和推理的图形结构》。第六届国际研讨会,GKR 2020,虚拟活动,2020年9月5日。修订了选定的论文。查姆:斯普林格。勒克特。注释计算。科学。12640, 125-150 (2021).MSC公司:68立方英尺 05C78号 2015年1月6日 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Cohen}等人,Lect。注释计算。科学。12640125-150(2021年;兹bl 1467.68176) 全文: 内政部
瓦法Jguirim;Wady Naanaa;马丁·库珀。 二进制CSP的多项式关系类。 (英文) Zbl 1484.68071号 安。数学。Artif公司。智力。 83,第1号,1-20(2018).MSC公司:65年第68季度 第68季度27 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{W.Jguirim}等人,《数学年鉴》。Artif公司。智力。83,编号1,1--20(2018;Zbl 1484.68071) 全文: 内政部 链接
塞尔盖·加斯佩斯;塞巴斯蒂安·奥德尼亚克;斯泽德,斯特凡 CSP后门装置。 (英文) Zbl 1482.68163号 Krokhin,Andrei(ed.)等人,约束满足问题:复杂性和可逼近性,Dagstuhl研讨会153012015年7月。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。Dagstuhl后续行动7,137-157(2017)。MSC公司:68兰特 08A70号 65年第68季度 第68季度27 PDF格式BibTeX公司 XML格式引用 \textit{S.Gaspers}等人,Dagstuhl Follow-Ups 7,137--157(2017;Zbl 1482.68163) 全文: 内政部
高健;陈荣;尹明浩;李慧 具有伴随值的broken-triangle属性。 (英文) Zbl 1489.68108号 肖明宇(编辑)等,算法前沿。2017年6月23日至25日,中国成都,一汽2017年第11届国际研讨会。诉讼程序。查姆:斯普林格。勒克特。注释计算。科学。10336,91-102(2017年)。MSC公司:65年第68季度 第68季度27 68周05 PDF格式BibTeX公司 XML格式引用 \textit{J.Gao}等人,Lect。注释计算。科学。10336,91-102(2017;Zbl 1489.68108) 全文: 内政部
彼得·富拉;斯坦尼斯拉夫·伊文 在平面值CSP上。 (英文) 兹比尔1370.68125 J.计算。系统。科学。 87, 104-118 (2017).MSC公司:65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{P.Fulla}和\textit{S.ivn},J.Compute。系统。科学。87、104-118(2017年;Zbl 1370.68125) 全文: 内政部 arXiv公司
塞尔盖·加斯佩斯;内尔德哈拉·米斯拉;塞巴斯蒂安·奥德尼亚克;斯泽德,斯特凡;斯坦尼斯拉夫·伊文 后门进入SAT和CSP的异构类。 (英文) Zbl 1356.68097号 J.计算。系统。科学。 85, 38-56 (2017).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Gaspers}等人,《计算杂志》。系统。科学。85,38-56(2017年;兹bl 1356.68097) 全文: 内政部 arXiv公司