Studies toward disproving the strong exponential time hypothesis

反驳强指数时间假说的研究

基本信息

项目摘要

项目成果

期刊论文数量（3）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
A Satisfiability Algorithm for Deterministic Width-2 Branching Programs
确定性宽度2分支程序的可满足性算法
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次分支程序的可满足性算法
  • DOI：
    10.1007/s00224-020-09996-3
  • 发表时间：
    2020
  • 期刊：
    Theory of Computing Systems
  • 影响因子：
    0.5
  • 作者：
    Atsuki Nagao;Kazuhisa Seto;and Junichi Teruyama
  • 通讯作者：
    and Junichi Teruyama
{{ 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
Some robust supply chain network equilibrium models
一些稳健的供应链网络均衡模型
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
弱教師学習問題における最適局所特徴抽出および樹状突起スパイン検出への応用
在弱监督学习问题中的最优局部特征提取和树突棘检测的应用
  • DOI：
  • 发表时间：
    2019
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Nagao Atsuki;Seto Kazuhisa;Teruyama Junichi;八尋俊希，末廣大貴，本館利佳，鈴木利治，内田誠一
  • 通讯作者：
    八尋俊希，末廣大貴，本館利佳，鈴木利治，内田誠一
Improved exact algorithms for mildly sparse instances of Max SAT
改进了 Max SAT 轻度稀疏实例的精确算法
  • DOI：
    10.1016/j.tcs.2017.07.011
  • 发表时间：
    2017
  • 期刊：
    Theoretical Computer Science
  • 影响因子：
    1.1
  • 作者：
    Sakai Takayuki;Seto Kazuhisa;Tamaki Suguru;Teruyama Junichi
  • 通讯作者：
    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)}}的其他基金

On Algorithmic Approaches to Proving Circuit Lower Bounds
证明电路下界的算法方法
  • 批准号：
    26730007
  • 财政年份：
    2014
  • 资助金额：
    $ 2.75万
  • 项目类别：
    Grant-in-Aid for Young Scientists (B)

相似海外基金

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

作者：{{ showInfoDetail.author }}

知道了