首页期刊浏览 2025年02月26日星期三

登录注册

全文

	有全文链接	2篇
	有本地全文	2篇

出版年度

	2021	2篇
	2020	2篇

作者

	Tomáš Peitl	4篇
	Joshua Blinkhorn	3篇
	Olaf Beyersdorff	3篇
	Gaurav Sood	1篇
	Meena Mahajan	1篇

Stefan Szeider

1篇

来源期刊

	Electronic Colloquium on Computational Complexity	3篇
	Journal of Artificial Intelligence Research	1篇

学科主题

计算技术、计算机技术

4篇

语种

英文

4篇

国别/地区

	德国	3篇
	美国	1篇

检索条件:"( ( 高级检索(( ((AU:(("Tomáš Peitl")))) )) ) )"

共 4 条记录

排序：全选导出：

1.Strong (D)QBF Dependency Schemes via Tautology-free Resolution Paths

作　　者：Olaf Beyersdorff ;Joshua Blinkhorn ;Tomáš Peitl

出　　处：Electronic Colloquium on Computational Complexity. 2020 ;2020:1-15.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：259794744

文章详细全文下载
2.Hard QBFs for Merge Resolution

作　　者：Olaf Beyersdorff ;Joshua Blinkhorn ;Meena Mahajan 等

出　　处：Electronic Colloquium on Computational Complexity. 2020 ;2020:1-22.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：259794896

文章详细全文下载
3.Worst-case Bounds on Power vs. Proportion in Weighted Voting Games with an Application to False-name Manipulation

作　　者：Tomáš Peitl ;Stefan Szeider

出　　处：Journal of Artificial Intelligence Research. 2021 ;72:1-37.doi:10.1613/jair.1.13136

出版社：American Association of Artificial

文章 ID：1037116934

文章详细
4.Strong (D)QBF Dependency Schemes via Implication-free Resolution Path

作　　者：Olaf Beyersdorff ;Joshua Blinkhorn ;Tomáš Peitl

出　　处：Electronic Colloquium on Computational Complexity. 2021 ;21.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：1037095392

文章详细

1

电话：010-85195300

E-mail：cassoa@cass.org.cn

地址：中国北京建国门内大街5号中国社会科学院1#楼

扫一扫关注微信

联系我们|关于我们|网站声明

国家哲学社会科学文献中心版权所有