Studies toward disproving the strong exponential time hypothesis
Studies toward disproving the strong exponential time hypothesis
反驳强指数时间假说的研究
批准号：
18K11170
负责人：
Seto Kazuhisa
金额：
$2.75万
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2018
资助国家：
日本
项目状态：
已结题
起止时间：
2018-04-01 至 2022-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(3)
专著(0)
科研奖励(0)
会议论文
A Satisfiability Algorithm for Deterministic Width-2 Branching Programs
确定性宽度2分支程序的可满足性算法
确定性宽度2分支程序的可满足性算法
DOI：
10.1587/transfun.2021eap1120
发表时间：
2022
期刊：
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
影响因子：
--
作者：
[Tomu MAKITA, Atsuki NAGAO, Tatsuki OKADA, Kazuhisa SETO, Junichi TERUYAMA]
通讯作者：
Junichi TERUYAMA
Bounded depth circuits with weighted symmetric gates: Satisfiability, lower bounds and compression
具有加权对称门的有界深度电路：可满足性、下限和压缩
具有加权对称门的有界深度电路：可满足性、下限和压缩
DOI：
10.1016/j.jcss.2019.04.004
发表时间：
2019
期刊：
Journal of Computer and System Sciences
影响因子：
1.1
作者：
[Sakai Takayuki, Seto Kazuhisa, Tamaki Suguru, Teruyama Junichi]
通讯作者：
Teruyama Junichi
Satisfiability Algorithm for Syntactic Read-k-times Branching Programs
语法读取k次分支程序的可满足性算法
语法读取k次分支程序的可满足性算法
DOI：
10.1007/s00224-020-09996-3
发表时间：
2020
期刊：
Theory of Computing Systems
影响因子：
0.5
作者：
[Atsuki Nagao, Kazuhisa Seto, and Junichi Teruyama]
通讯作者：
and Junichi Teruyama
On Algorithmic Approaches to Proving Circuit Lower Bounds
-
批准号：26730007
-
项目类别：Grant-in-Aid for Young Scientists (B)
-
资助金额：$2.16万
-
财政年份：2014
-
负责人：Seto Kazuhisa
-
依托单位：
海外基金