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

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

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

文章详细全文下载
4.An almost optimal algorithm for Winkler's sorting pairs in bins

作　　者：Hiro ITO ;Junichi TERUYAMA ;Yuichi YOSHIDA

出　　处：Progress in Informatics. 2012 ;(9):3-7.doi:10.2201/NiiPi.2012.9.2

出版社：National Institute of Informatics

文章 ID：217948466

文章详细
5.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

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

文章详细全文下载

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

	计算技术、计算机技术	5篇
	信息与知识传播	1篇

	德国	5篇
	日本	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Junichi TERUYAMA")))) )) ) )"

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

	LIPIcs : Leibniz International Proceedings in Informatics	3篇
	Electronic Colloquium on Computational Complexity	2篇
	Progress in Informatics	1篇

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

	Hiro ITO	1篇
	Junichi TERUYAMA	1篇
	Yuichi YOSHIDA	1篇