约塞普·阿格利奇;拉蒙·贝加尔;塞萨尔·费尔南德斯;卡莱斯·马图;乔迪,飞机 关于2SAT-MaxOnes上MaxSAT和MinSAT解算器的性能。 (英语) Zbl 1401.68283号 安。数学。Artif公司。智力。 77,编号1-2,43-66(2016).MSC公司:68T20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Argelich}等人,《数学年鉴》。Artif公司。智力。77,编号1-2,43-66(2016;兹bl 1401.68283) 全文: 内政部 链接
梅萨姆·阿吉希;克里斯特·Bäckström;彼得·琼森;西蒙·圣赫伯格 利用指数时间假设细化规划中的复杂性分析。 (英语) Zbl 1401.68092号 安。数学。Artif公司。智力。 78,第2号,157-175(2016).MSC公司:2017年第68季度 65年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Aghihi}等人,《数学年鉴》。Artif公司。智力。78,第2号,157--175(2016;Zbl 1401.68092) 全文: 内政部 链接
靖国冢田;樱田秀树;肯·马诺;吉福满·马纳贝 关于认知逻辑中匿名性和隐私性的合成推理。 (英语) Zbl 1403.03051号 安。数学。Artif公司。智力。 78,第2期,101-129(2016).MSC公司:03B70号 03B42号 68第25页 68页30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Tsukada}等人,《数学年鉴》。Artif公司。智力。78,第2号,101--129(2016;Zbl 1403.03051) 全文: 内政部
奥尔纳·库普弗曼;朱塞佩·佩雷利;莫舍·瓦尔迪。 合理环境的合成。 (英语) Zbl 1372.68173号 安。数学。Artif公司。智力。 78,第1期,3-20(2016).MSC公司:60年第68季度 03B70号 68T42型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}等人,《数学年鉴》。Artif公司。智力。78,第1号,第3--20号(2016;Zbl 1372.68173) 全文: 内政部
阿尼亚·雷伊;约尔格·罗特;希尔马尔·沙德拉克;莱娜·申德 在以敌人为导向的享乐游戏中,存在非常稳定的分区和严格核心稳定的联盟结构的复杂性。 (英语) 兹比尔1371.68121 安。数学。Artif公司。智力。 77,编号3-4,317-333(2016).MSC公司:65年第68季度 2017年第68季度 91A12号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Rey}等人,《数学年鉴》。Artif公司。智力。77,No.3--4317--333(2016;Zbl 1371.68121) 全文: 内政部
布丽塔·多恩;多米尼克·克鲁格 关于CP-nets投票中贿赂变体的硬度。 (英语) Zbl 1345.91006号 安。数学。Artif公司。智力。 77,编号3-4,251-279(2016).MSC公司:91B14号机组 91B10型 65年第68季度 91B12号机组 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Dorn}和\textit{D.Krüger},Ann.数学。Artif公司。智力。77,No.3--4,251--279(2016;Zbl 1345.91006) 全文: 内政部 arXiv公司
托马什·米亚斯科;彼得·法利舍夫斯基 选举中价格控制的复杂性。 (英语) Zbl 1372.91033号 安。数学。Artif公司。智力。 77号3-4225-250(2016).MSC公司:91B12号机组 91B14号机组 65年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Miasko}和\textit{P.Faliszewski},Ann.数学。Artif公司。智力。77,编号3--4225-250(2016;Zbl 1372.91033) 全文: 内政部
Hemaspandra,A巷。;拉赫曼·拉瓦伊;蒙顿,柯蒂斯 Schulze和ranked-pairs投票是固定参数,易于贿赂、操纵和控制。 (英语) Zbl 1346.91072号 安。数学。Artif公司。智力。 77,No.3-4,191-223(2016).MSC公司:91B12号机组 91B14号机组 91B10型 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.A.Hemaspandra}等人,《数学年鉴》。Artif公司。智力。77,No.3--4,191-223(2016;Zbl 1346.91072) 全文: 内政部 arXiv公司
扎克·菲茨西蒙斯;伊迪丝·赫玛斯潘德拉;Hemaspandra,A巷。 同一系统决选的操纵复杂性。 (英语) Zbl 1346.91071号 安。数学。Artif公司。智力。 77号3-4159-189(2016).MSC公司:91B12号机组 91B14号机组 91B10型 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Fitzsimmons}等人,《数学年鉴》。Artif公司。智力。77,No.3--4159--189(2016;Zbl 1346.91071) 全文: 内政部 arXiv公司
斯蒂芬·亨纳(Stephen J.Hegner)。 保留约束的快照隔离。 (英语) 兹比尔1356.68052 安。数学。Artif公司。智力。 76,编号3-4,281-326(2016).MSC公司:第68页,共15页 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.J.Hegner},Ann.数学。Artif公司。智力。76,编号3--4,281--326(2016;Zbl 1356.68052) 全文: 内政部