塞拉利昂,皮埃尔;史蒂夫·阿尔珀恩 会合搜索问题的符号规划方法。 (英语) Zbl 1484.91005号 序号操作。Res.论坛 3,第1号,第9号文件,第29页(2022).MSC公司:91A05型 91A68型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{P.Leone}和\textit{S.Alpern},SN Oper。Res.Forum 3,No.1,论文No.9,29 p.(2022;Zbl 1484.91005) 全文: 内政部
Timm,零;约苏阿·博塔 用于资源分配的多智能体系统的模型检查和策略综合。 (英语) Zbl 1498.68343号 Campos,Sérgio(编辑)等人,《形式方法:基础和应用》。第24届巴西研讨会,SBMF 2021,虚拟活动,2021年12月6日至10日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13130, 53-69 (2021).MSC公司:68T42型 03B70号 60年第68季度 91立方厘米32 PDF格式BibTeX公司 XML格式引用 \textit{N.Timm}和\textit{J.Botha},莱克特。注释计算。科学。13130,53-69(2021;Zbl 1498.68343) 全文: 内政部
佩琳娜·托尔马赫;李毅;林尚伟;刘,杨 可组合DeFi协议的形式化分析。 (英语) 兹比尔1492.91461 Bernhard,Matthew(编辑)等人,《金融加密和数据安全》。FC 2021国际研讨会。Codecfin、DeFi、VOTING和WTSC,虚拟活动,2021年3月5日。修订了选定的论文。柏林:斯普林格。莱克特。注释计算。科学。12676, 149-161 (2021).MSC公司:91G99型 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{P.Tolmach}等人,Lect。注释计算。科学。12676149-161(2021年;Zbl 1492.91461) 全文: 内政部 arXiv公司
朱利安·古铁雷斯;阿尼埃洛·穆拉诺;朱塞佩·佩雷利;萨沙·鲁宾;托马斯·斯蒂普尔斯;迈克尔·伍尔德里奇 质量和数量目标相结合的游戏的平衡。 (英语) Zbl 1483.68193号 Acta信息。 58,编号6,585-610(2021).MSC公司:60年第68季度 03B44号 68T42型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人,《信息学报》58,第6期,585--610(2021年;Zbl 1483.68193) 全文: 内政部 arXiv公司
安东尼奥·迪·斯塔西奥;阿尼埃洛·穆拉诺;文森佐·普里格纳诺;Loredana索伦蒂诺 在实践中改进平价游戏。 (英语) Zbl 1507.68184号 安。数学。Artif公司。智力。 89,编号5-6,551-574(2021).MSC公司:60年第68季度 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{A.Di Stasio}等人,《数学年鉴》。Artif公司。智力。89,编号5--6,551--574(2021;Zbl 1507.68184) 全文: 内政部
印度巴什拉耶娃。;D.V.科夫科夫。 求解图上循环对策的势变换算法的复杂性估计。 (英语。俄文原件) Zbl 1431.91061号 J.计算。系统。科学。国际。 58,第3号,425-433(2019); Izv的翻译。罗斯。阿卡德。特奥·诺克。修女。向上。2019年,第3期,97-105(2019)。MSC公司:91A43型 05第57页 91A68型 PDF格式BibTeX公司 XML格式引用 \textit{I.A.Bashlaeva}和\textit{D.V.Kovkov},J.Compute。系统。科学。国际58号,第3号,425--433(2019年;Zbl 1431.91061);Izv的翻译。罗斯。阿卡德。特奥·诺克。修女。向上。2019年,第3期,97-105(2019) 全文: 内政部
马库斯·谢弗;丹尼尔·什·特凡科维奇 不动点、纳什均衡和实存在论。 (英语) Zbl 1362.68088号 理论计算。系统。 第60期,第2期,172-193页(2017年).MSC公司:2015年第68季度 03年2月25日 03C07号机组 第14页 54时25分 91A10号 91A44型 PDF格式BibTeX公司 XML格式引用 \textit{M.Schaefer}和\textit{D.Štefanković},理论计算。系统。60,第2号,172--193(2017;Zbl 1362.68088) 全文: 内政部
戈恩格拉,佩德罗A。;David A.Rosenblueth。 用于计算子游戏完美纳什均衡的符号最短路径算法。 (英语) Zbl 1322.91007号 国际期刊申请。数学。计算。科学。 25,第3号,577-596(2015).MSC公司:91A10号 52个B05 05C90年 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Góngora}和\textit{D.A.Rosenblueth},国际期刊应用。数学。计算。科学。25,第3号,577--596(2015;Zbl 1322.91007) 全文: 内政部
芭芭拉·乔布斯曼;斯特凡·斯塔珀;安德烈亚斯·格雷斯迈耶;罗德里克·布洛姆 发现并修复故障。 (英语) Zbl 1263.68112号 J.计算。系统。科学。 78,第2期,441-460(2012). 审核人:约翰·乔治·格兰斯特罗姆(苏黎世) MSC公司:60年第68季度 91A80型 03B70号 68号30 65年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{B.Jobstmann}等人,J.计算。系统。科学。78,No.2,441--460(2012;Zbl 1263.68112) 全文: 内政部
李,李;何开多;顾,明;宋晓宇 线性算术约束的等式检测。 (英语) Zbl 1237.91075号 浙江科技大学学报。A类 第10期,第12期,1784-1789(2009).MSC公司:91B06型 90C05(二氧化碳) PDF格式BibTeX公司 XML格式引用 \textit{L.Li}等人,浙江大学学报,科学版。A 10,第12号,1784-1789(2009;Zbl 1237.91075) 全文: 内政部