On Algorithmic Approaches to Proving Circuit Lower Bounds
On Algorithmic Approaches to Proving Circuit Lower Bounds
证明电路下界的算法方法
批准号：
26730007
负责人：
Seto Kazuhisa
金额：
$2.16万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2014
资助国家：
日本
项目状态：
已结题
起止时间：
2014-04-01 至 2017-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(3)
专著(0)
科研奖励(0)
会议论文
An Exact Algorithm for Oblivious Read-Twice Branching Program Satisfiability
一种不经意读两次分支程序可满足性的精确算法
一种不经意读两次分支程序可满足性的精确算法
DOI：
10.1587/transfun.e99.a.1019
发表时间：
2016
期刊：
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
影响因子：
--
作者：
[He X, Ohba S, Hojo H, McMahon AP, Kazuhisa Seto and Junichi Teruyama]
通讯作者：
Kazuhisa Seto and Junichi Teruyama
DOI：
10.4036/iis.2015.l.02
发表时间：
2015
期刊：
Interdisciplinary Information Sciences
影响因子：
--
作者：
[菅家康介, 齋藤琢, 高戸毅, 鄭雄一, 大庭伸介, Kazuhisa Seto]
通讯作者：
Kazuhisa Seto
Solving Sparse Instances of Max SAT via Width Reduction and Greedy Restriction
通过宽度缩减和贪婪限制解决 Max SAT 的稀疏实例
通过宽度缩减和贪婪限制解决 Max SAT 的稀疏实例
DOI：
10.1007/s00224-014-9600-6
发表时间：
2015
期刊：
Theory Comput. Syst.
影响因子：
--
作者：
[Takayuki Sakai, Kazuhisa Seto, Suguru Tamaki]
通讯作者：
Suguru Tamaki
Studies toward disproving the strong exponential time hypothesis
-
批准号：18K11170
-
项目类别：Grant-in-Aid for Scientific Research (C)
-
资助金额：$2.75万
-
财政年份：2018
-
负责人：Seto Kazuhisa
-
依托单位：
海外基金