范甘·特林;贝莱德·本哈莫;西尔万·索利曼 布尔网络的陷阱空间是其Petri网编码的无冲突信标。 (英语) Zbl 07729845号 西奥。计算。科学。 971,文章ID 114073,20 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{V.-G.Trinh}等人,Theor。计算。科学。971,文章编号114073,20 p.(2023;Zbl 07729845) 全文: 内政部 哈尔
Michael Sioutis先生;阿纳斯塔西亚·帕帕里佐;Jean-François康多塔 定性约束网络的基于集体单点的一致性:理论与实践。 (英语) Zbl 1435.68322号 西奥。计算。科学。 797, 17-41 (2019).MSC公司:68立方英尺 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Sioutis}等人,Theor。计算。科学。797、17-41(2019年;Zbl 1435.68322) 全文: 内政部 哈尔
王金燕;尹明浩;吴京丽 模型计数的两种近似算法。 (英语) Zbl 1356.68110号 西奥。计算。科学。 657,A部分,28-37(2017).MSC公司:65年第68季度 03B05号 03B35型 68周25 PDF格式BibTeX公司 XML格式引用 \textit{J.Wang}等人,Theor。计算。科学。657,A部分,28-37(2017;兹bl 1356.68110) 全文: 内政部
油炸,Dror;所罗门·埃亚尔·希莫尼;阿米特·本巴萨特;塞尼·温纳 加拿大旅行者问题变体的复杂性。 (英语) Zbl 1277.68087号 西奥。计算。科学。 487, 1-16 (2013).MSC公司:2017年第68季度 68兰特 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{D.Fried}等人,Theor。计算。科学。487,1--16(2013;Zbl 1277.68087) 全文: 内政部 arXiv公司
卢克·朗普雷;皮埃尔·麦肯齐 纸牌游戏的复杂性。 (英语) Zbl 1194.68123号 西奥。计算。科学。 410,第50号,5252-5260(2009).MSC公司:2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Longpré}和\textit{P.McKenzie},Theor。计算。科学。410,编号50,5252--5260(2009;Zbl 1194.68123) 全文: 内政部
阿林·德意志;伯特伦·卢德谢尔;阿兰·纳什 使用具有完整性约束下的访问模式的视图重写查询。 (英语) Zbl 1108.68040号 西奥。计算。科学。 371,第3号,200-226(2007).MSC公司:第68页,共15页 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Deutsch}等人,Theor。计算。科学。371,第3号,200--226(2007;Zbl 1108.68040) 全文: 内政部
阿图尔·达维拉·加塞斯。;路易斯·兰姆。;Dov M.加巴伊。 连接主义模态逻辑:在神经网络中表示模态。 (英语) 兹比尔1108.68103 西奥。计算。科学。 371,编号1-2,34-53(2007).MSC公司:68T05型 03B45号 68立方英尺 2010年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.S.d'Avila Garcez}等人,Theor。计算。科学。371,编号1--2,34-53(2007;Zbl 1108.68103) 全文: 内政部 链接
伊沃·杜恩施;冬天,迈克尔 布尔接触代数的一个表示定理。 (英语) Zbl 1085.03046号 西奥。计算。科学。 347,第3期,498-512(2005).MSC公司:03G25号 03B35型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{I.Düntsch}和\textit{M.Winter},Theor。计算。科学。347,第3号,498--512(2005;Zbl 1085.03046) 全文: 内政部