首页期刊浏览 2024年09月12日星期四

登录注册

全文

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

出版年度

	2021	1篇
	2020	1篇
	2019	4篇
	2018	2篇
	2017	1篇

	2016	4篇
	2015	4篇
	2014	5篇

作者

	Leroy Chew	22篇
	Olaf Beyersdorff	15篇
	Meena Mahajan	6篇
	Anil Shukla	5篇
	Judith Clymo	5篇

	Mikolas Janota	3篇
	Friedrich Slivovsky	1篇
	Ilario Bonacina	1篇
	Karteek Sreenivasaiah	1篇
	Marijn Heule	1篇
	Martin Suda	1篇
	Mikol{\'a}s Janota	1篇
	Renate Schmidt	1篇

来源期刊

	Electronic Colloquium on Computational Complexity	19篇
	LIPIcs : Leibniz International Proceedings in Informatics	3篇

学科主题

计算技术、计算机技术

22篇

语种

英文

22篇

国别/地区

德国

22篇

检索条件:"( ( 高级检索(( ((AU:(("Leroy Chew")))) )) ) )"

共 22 条记录

排序：全选导出：

1.On Unification of QBF Resolution-Based Calculi

作　　者：Mikolas Janota ;Leroy Chew ;Olaf Beyersdorff

出　　处：Electronic Colloquium on Computational Complexity. 2014 ;2014.

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

文章 ID：90814553

文章详细全文下载
2.Tableau vs. Sequent Calculi for Minimal Entailment

作　　者：Olaf Beyersdorff ;Leroy Chew

出　　处：Electronic Colloquium on Computational Complexity. 2014 ;2014.

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

文章 ID：90814557

文章详细全文下载
3.The Complexity of Theorem Proving in Circumscription and Minimal Entailment

作　　者：Olaf Beyersdorff ;Leroy Chew

出　　处：Electronic Colloquium on Computational Complexity. 2014 ;2014.

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

文章 ID：90814575

文章详细全文下载
4.A game characterisation of tree-like Q-Resolution size

作　　者：Olaf Beyersdorff ;Leroy Chew ;Karteek Sreenivasaiah

出　　处：Electronic Colloquium on Computational Complexity. 2014 ;2014.

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

文章 ID：95928662

文章详细全文下载
5.Proof Complexity of Resolution-based QBF Calculi

作　　者：Olaf Beyersdorff ;Leroy Chew ;Mikolas Janota

出　　处：Electronic Colloquium on Computational Complexity. 2014 ;2014.

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

文章 ID：95928673

文章详细全文下载
6.Lower bounds: from circuits to QBF proof systems

作　　者：Olaf Beyersdorff ;Ilario Bonacina ;Leroy Chew

出　　处：Electronic Colloquium on Computational Complexity. 2015 ;2015.

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

文章 ID：174712880

文章详细全文下载
7.Are Short Proofs Narrow? QBF Resolution is not Simple

作　　者：Olaf Beyersdorff ;Leroy Chew ;Meena Mahajan 等

出　　处：Electronic Colloquium on Computational Complexity. 2015 ;2015.

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

文章 ID：174712899

文章详细全文下载
8.Feasible Interpolation for QBF Resolution Calculi

作　　者：Olaf Beyersdorff ;Leroy Chew ;Meena Mahajan 等

出　　处：Electronic Colloquium on Computational Complexity. 2015 ;2015.

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

文章 ID：113635717

文章详细
9.How QBF Expansion Makes Strategy Extraction Hard

作　　者：Leroy Chew ;Judith Clymo

出　　处：Electronic Colloquium on Computational Complexity. 2019 ;2019:1-14.

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

文章 ID：243029038

文章详细全文下载
10.The Equivalences of Refutational QRAT

作　　者：Leroy Chew ;Judith Clymo

出　　处：Electronic Colloquium on Computational Complexity. 2019 ;2019:1-19.

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

文章 ID：243029119

文章详细全文下载

1 2 3 下一页尾页

电话：010-85195300

E-mail：cassoa@cass.org.cn

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

扫一扫关注微信

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

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