1.An Introduction to Lower Bounds on Resolution Proof Systems

作　　者：Kazuhisa SETO

出　　处：Interdisciplinary Information Sciences. 2015 ;21(4):307-328.doi:10.4036/iis.2015.L.02

出版社：The Editorial Committee of the Interdisciplinary Information Sciences

文章 ID：126626226

文章详细全文下载
2.A Satisfiability Algorithm and Average-Case Hardness for Formulas over the Full Binary Basis

作　　者：Kazuhisa Seto, Suguru Tamaki

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

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

文章 ID：77057215

文章详细全文下载
3.A Satisfiability Algorithm for Depth-2 Circuits with a Symmetric Gate at the Top and AND Gates at the Bottom

作　　者：Takayuki Sakai ;Kazuhisa Seto ;Suguru Tamaki 等

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

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

文章 ID：174712883

文章详细全文下载
4.Satisfiability Algorithm for Syntactic Read-$k$-times Branching Programs

作　　者：Atsuki Nagao ;Kazuhisa Seto ;Junichi Teruyama

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;92:58:1-58:10.doi:10.4230/LIPIcs.ISAAC.2017.58

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

文章 ID：205510070

文章详细全文下载
5.Bounded Depth Circuits with Weighted Symmetric Gates: Satisfiability, Lower Bounds and Compression

作　　者：Takayuki Sakai ;Kazuhisa Seto ;Suguru Tamaki 等

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

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

文章 ID：215687049

文章详细全文下载
6.Improved Exact Algorithms for Mildly Sparse Instances of Max SAT

作　　者：Takayuki Sakai ;Kazuhisa Seto ;Suguru Tamaki 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;43:90-101.doi:10.4230/LIPIcs.IPEC.2015.90

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

文章 ID：186847138

文章详细全文下载
7.Bounded Depth Circuits with Weighted Symmetric Gates: Satisfiability, Lower Bounds and Compression

作　　者：Takayuki Sakai ;Kazuhisa Seto ;Suguru Tamaki 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;58:82:1-82:16.doi:10.4230/LIPIcs.MFCS.2016.82

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

文章 ID：186847909

文章详细全文下载

	计算技术、计算机技术	6篇
	图书馆学、图书馆事业	1篇

	英文	6篇
	日文	1篇

	德国	6篇
	日本	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Kazuhisa Seto")))) )) ) )"

	Junichi Teruyama	5篇
	Kazuhisa Seto	5篇
	Suguru Tamaki	4篇
	Takayuki Sakai	4篇
	Atsuki Nagao	1篇

	Electronic Colloquium on Computational Complexity	3篇
	LIPIcs : Leibniz International Proceedings in Informatics	3篇
	Interdisciplinary Information Sciences	1篇

	2017	1篇
	2016	2篇
	2015	3篇
	2012	1篇