1.On Propositional QBF Expansions and Q-Resolution

作　　者：Mikolas Janota ;Joao Marques-Silva

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

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

文章 ID：88774844

文章详细全文下载
2.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

文章详细全文下载
3.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

文章详细全文下载
4.Extension Variables in QBF Resolution

作　　者：Olaf Beyersdorff ;Leroy Chew ;Mikolas Janota

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

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

文章 ID：215686955

文章详细全文下载
5.On Q-Resolution and CDCL QBF Solving

作　　者：Mikolas Janota

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

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

文章 ID：215686993

文章详细全文下载

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Mikolas Janota")))) )) ) )"

	Mikolas Janota	5篇
	Leroy Chew	3篇
	Olaf Beyersdorff	3篇
	Joao Marques-Silva	1篇

	2016	2篇
	2014	2篇
	2013	1篇