On Algorithmic Approaches to Proving Circuit Lower Bounds

证明电路下界的算法方法

基本信息

  • 批准号：
    26730007
  • 负责人：
    Seto Kazuhisa
  • 金额：
    $ 2.16万
  • 依托单位：
    Seikei University
  • 依托单位国家：
    日本
  • 项目类别：
    Grant-in-Aid for Young Scientists (B)
  • 财政年份：
    2014
  • 资助国家：
    日本
  • 起止时间：
    2014-04-01 至 2017-03-31
  • 项目状态：
    已结题

项目摘要

项目成果

期刊论文数量（3）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
An Exact Algorithm for Oblivious Read-Twice Branching Program Satisfiability
一种不经意读两次分支程序可满足性的精确算法
An Introduction to Lower Bounds on Resolution Proof Systems
分辨率证明系统下限简介
  • DOI：
    10.4036/iis.2015.l.02
  • 发表时间：
    2015
  • 期刊：
    Interdisciplinary Information Sciences
  • 影响因子：
    0
  • 作者：
    菅家康介;齋藤琢;高戸毅;鄭雄一;大庭伸介;Kazuhisa Seto
  • 通讯作者：
    Kazuhisa Seto
Solving Sparse Instances of Max SAT via Width Reduction and Greedy Restriction
通过宽度缩减和贪婪限制解决 Max SAT 的稀疏实例
  • DOI：
    10.1007/s00224-014-9600-6
  • 发表时间：
    2015
  • 期刊：
    Theory Comput. Syst.
  • 影响因子：
    0
  • 作者：
    Takayuki Sakai;Kazuhisa Seto;Suguru Tamaki
  • 通讯作者：
    Suguru Tamaki
{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ monograph.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ patent.updateTime }}

Seto Kazuhisa其他文献

Parameterized Complexity of (A, l)-Path Packing
(A, l)-路径打包的参数化复杂度
  • DOI：
  • 发表时间：
    2020
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Sakai Takayuki;Seto Kazuhisa;Tamaki Suguru;Teruyama Junichi;Yota Otachi
  • 通讯作者：
    Yota Otachi
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
A Moderately Exponential Time Algorithm for k-IBDD Satisfiability
k-IBDD 可满足性的中等指数时间算法
  • DOI：
    10.1007/s00453-017-0332-2
  • 发表时间：
    2018
  • 期刊：
    Algorithmica
  • 影响因子：
    1.1
  • 作者：
    Nagao Atsuki;Seto Kazuhisa;Teruyama Junichi
  • 通讯作者：
    Teruyama Junichi
Some robust supply chain network equilibrium models
一些稳健的供应链网络均衡模型
弱教師学習問題における最適局所特徴抽出および樹状突起スパイン検出への応用
在弱监督学习问题中的最优局部特征提取和树突棘检测的应用
  • DOI：
  • 发表时间：
    2019
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Nagao Atsuki;Seto Kazuhisa;Teruyama Junichi;八尋俊希，末廣大貴，本館利佳，鈴木利治，内田誠一
  • 通讯作者：
    八尋俊希，末廣大貴，本館利佳，鈴木利治，内田誠一

Seto Kazuhisa的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}
立即体验

{{ truncateString('Seto Kazuhisa', 18)}}的其他基金

Studies toward disproving the strong exponential time hypothesis
反驳强指数时间假说的研究
  • 批准号：
    18K11170
  • 财政年份：
    2018
  • 资助金额：
    $ 2.16万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)

相似海外基金

グラフデータにおける問合せ式充足可能性問題の計算複雑さおよび判定アルゴリズム
图数据查询可满足性问题的计算复杂度与决策算法
  • 批准号：
    21K11900
  • 财政年份：
    2021
  • 资助金额：
    $ 2.16万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
SAT(充足可能性)問題の並列局所探索アルゴリズムの研究と超並列計算機への実装
SAT（可满足性）问题的并行局部搜索算法研究及其在大规模并行计算机上的实现
  • 批准号：
    11F01807
  • 财政年份：
    2011
  • 资助金额：
    $ 2.16万
  • 项目类别：
    Grant-in-Aid for JSPS Fellows
SAT(命題論理の充足可能性)問題を解くアルゴリズムに関する研究
解决SAT（命题逻辑可满足性）问题的算法研究
  • 批准号：
    17700135
  • 财政年份：
    2005
  • 资助金额：
    $ 2.16万
  • 项目类别：
    Grant-in-Aid for Young Scientists (B)
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了