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

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

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

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

文章详细全文下载
5.The Riis Complexity Gap for QBF Resolution

作　　者：Olaf Beyersdorff ;Judith Clymo ;Stefan Dantchev 等

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

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

文章 ID：235153475

文章详细全文下载
6.More on Size and Width in QBF Resolution

作　　者：Olaf Beyersdorff ;Judith Clymo

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

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

文章 ID：235153476

文章详细全文下载
7.Short Proofs in QBF Expansion

作　　者：Olaf Beyersdorff ;Leroy Chew ;Judith Clymo 等

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

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

文章 ID：235153553

文章详细全文下载

	Judith Clymo	7篇
	Leroy Chew	5篇
	Olaf Beyersdorff	3篇
	Barnaby Martin	1篇
	Meena Mahajan	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Judith Clymo")))) )) ) )"

	2019	4篇
	2018	3篇