1.Proof Complexity of Symmetry Learning in QBF

作　　者：Olaf Beyersdorff ;Joshua Blinkhorn

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

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

文章 ID：243029138

文章详细全文下载

2.Proof Complexity of Symmetry Learning in QBF

作　　者：Olaf Beyersdorff ;Joshua Blinkhorn

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

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

文章 ID：243731545

文章详细全文下载

3.Formulas with Large Weight: a New Technique for Genuine QBF Lower Bounds

作　　者：Olaf Beyersdorff ;Joshua Blinkhorn

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

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

文章 ID：207621282

文章详细全文下载

4.Size, Cost, and Capacity: A Semantic Technique for Hard Random QBFs

作　　者：Olaf Beyersdorff ;Joshua Blinkhorn ;Luke Hinde

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

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

文章 ID：207621387

文章详细全文下载

5.Dependency Schemes in QBF Calculi:Semantics and Soundness

作　　者：Olaf Beyersdorff ;Joshua Blinkhorn

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

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

文章 ID：215686978

文章详细全文下载

6.Genuine Lower Bounds for QBF Expansion

作　　者：Olaf Beyersdorff ;Joshua Blinkhorn

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;96:12:1-12:15.doi:10.4230/LIPIcs.STACS.2018.12

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：220015247

文章详细

7.Size, Cost and Capacity: A Semantic Technique for Hard Random QBFs

作　　者：Olaf Beyersdorff ;Joshua Blinkhorn ;Luke Hinde

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;94:9:1-9:18.doi:10.4230/LIPIcs.ITCS.2018.9

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：220015334

文章详细

8.Hardness Characterisations and Size-Width Lower Bounds for QBF Resolution

作　　者：Olaf Beyersdorff ;Joshua Blinkhorn ;Meena Mahajan

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

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

文章 ID：259794713

文章详细全文下载

9.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

文章详细全文下载

10.Simulating DQBF Preprocessing Techniques with Resolution Asymmetric Tautologies

作　　者：Joshua Blinkhorn

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

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

文章 ID：259794820

文章详细全文下载

	有本地全文	12篇
	有全文链接	3篇

	2021	1篇
	2020	5篇
	2019	3篇
	2018	3篇
	2017	2篇

	Joshua Blinkhorn	15篇
	Olaf Beyersdorff	14篇
	Meena Mahajan	5篇
	Tomáš Peitl	3篇
	Gaurav Sood	2篇

	Luke Hinde	2篇
	Peitl, Tomáš	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Joshua Blinkhorn")))) )) ) )"

	Electronic Colloquium on Computational Complexity	11篇
	LIPIcs : Leibniz International Proceedings in Informatics	4篇