1.A Tough Nut for Tree Resolution

作　　者：Stefan Dantchev ;Søren Riis

出　　处：BRICS Report Series. 2000 ;7(10).

出版社：Aarhus University

文章 ID：101759918

文章详细全文下载
2.Resolution and the Binary Encoding of Combinatorial Principles

作　　者：Stefan Dantchev ;Nicola Galesi ;Barnaby Martin

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;137:1-25.doi:10.4230/LIPIcs.CCC.2019.6

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

文章 ID：238892038

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

文章详细全文下载
4.Resolution and the binary encoding of combinatorial principles

作　　者：Stefan Dantchev ;Nicola Galesi ;Barnaby Martin

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

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

文章 ID：235153616

文章详细全文下载
5.Depth lower bounds in Stabbing Planes for combinatorial principles

作　　者：Stefan Dantchev ;Nicola Galesi ;Abdul Ghani 等

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

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

文章 ID：1037095490

文章详细

	有本地全文	4篇
	有全文链接	1篇

	德国	4篇
	丹麦	1篇

全文

出版年度

作者

文章类型

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Stefan Dantchev")))) )) ) )"

	Stefan Dantchev	5篇
	Barnaby Martin	4篇
	Nicola Galesi	3篇
	Abdul Ghani	1篇
	Judith Clymo	1篇

	Electronic Colloquium on Computational Complexity	3篇
	BRICS Report Series	1篇
	LIPIcs : Leibniz International Proceedings in Informatics	1篇

	2021	1篇
	2019	1篇
	2018	2篇
	2000	1篇

	Olaf Beyersdorff	1篇
	Søren Riis	1篇