皮基斯,泰特斯;克日什托夫·图洛夫斯基;马雷克·库巴勒 并行机上具有完全多部分不兼容图的调度:复杂性和算法。 (英语) Zbl 1493.90067号 Artif公司。智力。 309,文章ID 103711,27 p.(2022).MSC公司:90B35型 2017年第68季度 68周25 90C05(二氧化碳) PDF格式BibTeX公司 XML格式引用 \textit{T.Pikies}等人,Artif。智力。309,文章ID 103711,27 p.(2022;Zbl 1493.90067) 全文: 内政部
埃里希·克里斯蒂安·特潘 关于伙伴单位决策问题的复杂性。 (英语) Zbl 1420.68101号 Artif公司。智力。 248, 112-122 (2017).MSC公司:65年第68季度 2017年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{E.C.Teppan},阿蒂夫。智力。248112--122(2017;Zbl 1420.68101) 全文: 内政部
马丁·库珀。;艾默尔·杜兴;艾尔·穆埃利,Achref;纪尧姆·埃斯卡莫彻;西里尔·特里奥克斯;布鲁诺·扎努蒂尼 断三角形:从值合并到一类易于处理的一般性约束满足问题。 (英语) Zbl 1351.68253号 Artif公司。智力。 234, 196-218 (2016).MSC公司:68T20型 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.C.Cooper}等人,Artif。智力。234196-218(2016;Zbl 1351.68253) 全文: 内政部 链接
刘伟明;李三江 关于扩展对象之间基本方向的推理:NP-harrdness结果。 (英语) Zbl 1238.68155号 Artif公司。智力。 175,第18号,2155-2169(2011).MSC公司:第68页第27页 2017年第68季度 68单位05 PDF格式BibTeX公司 XML格式引用 \textit{W.Liu}和\textit{S.Li},Artif。智力。175,第18号,2155--2169(2011;Zbl 1238.68155) 全文: 内政部 arXiv公司
马丁·J·格林。;大卫·A·科恩。 约束满足问题的域置换约简。 (英语) Zbl 1183.68309号 Artif公司。智力。 172,编号8-9,1094-1118(2008).MSC公司:65年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Green}和\textit{D.A.Cohen},Artif。智力。172,编号8-91094-1118(2008年;兹bl 1183.68309) 全文: 内政部
拉蒙·贝加尔;卡梅尔·多姆什拉克;塞萨尔·费尔南德斯;卡拉·戈麦斯;巴斯卡尔·克里希纳马查里;巴特·塞尔曼;瓦尔斯,马格达 传感器网络和分布式CSP:通信、计算和复杂性。 (英语) Zbl 1132.68688号 Artif公司。智力。 161,编号1-2,117-147(2005).MSC公司:68T20型 64岁以下 65年第68季度 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{R.Béjar}等人,Artif。智力。161,编号1--2,117-147(2005;Zbl 1132.68688) 全文: 内政部 链接
马可·卡多利;安德烈亚·谢尔夫 将问题规范编译为SAT。 (英语) Zbl 1132.68693号 Artif公司。智力。 162,编号1-2,89-120(2005).MSC公司:68T20型 68N20型 2015年第68季度 2017年第68季度 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{M.Cadoli}和\textit{A.Schaerf},Artif。智力。162,编号1--2,89-120(2005;Zbl 1132.68693) 全文: 内政部
马丁·库珀。 用于测试曲线对象线条图可实现性的线性时间算法。 (英语) Zbl 0914.68193号 Artif公司。智力。 108,第1-2号,31-67(1999).MSC公司:68单位05 68宽10 PDF格式BibTeX公司 XML格式引用 \文本{M.C.Cooper},Artif。智力。108,编号1--2,31-67(1999;Zbl 0914.68193) 全文: 内政部
彼得·哈默。;亚历山大·科根 命题Horn知识库的最佳压缩:复杂性和近似性。 (英语) Zbl 0935.68105号 Artif公司。智力。 64,第1期,131-145(1993).MSC公司:68层35 PDF格式BibTeX公司 XML格式引用 \textit{P.L.Hammer}和\textit{A.Kogan},Artif。智力。64,第1号,131--145(1993;Zbl 0935.68105) 全文: 内政部
拉塞尔·格雷纳 在冗余知识库中寻找最优派生策略。 (英语) Zbl 0738.68076号 Artif公司。智力。 50,编号1,95-115(1991).MSC公司:68层35 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Greiner},阿蒂夫。智力。50,编号1,95-115(1991;兹bl 0738.68076) 全文: 内政部