课题基金 / 基金详情

A Prolog-Based Parallel Execution System for Multiple SAT Solvers

A Prolog-Based Parallel Execution System for Multiple SAT Solvers
基于 Prolog 的多 SAT 求解器并行执行系统
批准号：
19700025
负责人：
BANBARA Mutsunori
金额：
$2.09万
依托单位：
Kobe University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2007
资助国家：
日本
项目状态：
已结题
起止时间：
2007 至 2009
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-19700025/
关键词：
PrologSAT制約充足問題論理プログラミング並列計算

项目摘要

项目成果

BANBARA Mutsunori的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
We have studied a parallel execution system of multiple SAT solvers on a Java-based logic programming system. To evaluate our approach, we used the test case generation problems of combinatorial testing as benchmarks. In our experiments, we succeeded in proving the optimality of known bounds for three problems.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Sugar++ : ASAT-based MAx-CSP/COP Solver
Sugar：基于 ASAT 的 MAX-CSP/COP 求解器
DOI： --
发表时间： 2008
期刊： Third International CSP Solver Competition
影响因子： --
作者： [上村, 喜田, 有村, 門脇孝, Tomoya Tanjo]
通讯作者： Tomoya Tanjo
Sugar: A CSP to SAT Translator Based on Order Encoding
Sugar：基于顺序编码的 CSP 到 SAT 转换器
DOI： --
发表时间： 2008
期刊： Proceedings of the Second International CSP Solver Competition
影响因子： --
作者： [N. Tamura, M. Banbara]
通讯作者： M. Banbara
グリッド計算環境上でのショップ・スケジューリング問題のSAT変換による解法
网格计算环境下SAT转换求解车间调度问题
DOI： --
发表时间： 2007
期刊：
影响因子： --
作者： [多賀明子, 田村直之, 北川哲, 番原睦則, 田村直之]
通讯作者： 田村直之
Sugar:SAT変換による制約解消システムのデモ
使用 Sugar:SAT 转换的约束解析系统演示
DOI： --
发表时间： 2007
期刊：
影响因子： --
作者： [田島宏史, 多賀明子, 丹生智也, 田村直之, 番原睦則]
通讯作者： 番原睦則
共 7 条
    Research and Development on Constraint Answer Set Programming Using SAT Encoding
    • 批准号：
      15K00099
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.91万
    • 财政年份：
      2015
    • 负责人：
      BANBARA Mutsunori
    • 依托单位：
      Kobe University
    Automatic Test Case Generation for Combinatorial Testing Using Various Logical Inference Engines
    • 批准号：
      22700032
    • 项目类别：
      Grant-in-Aid for Young Scientists (B)
    • 资助金额：
      $2.41万
    • 财政年份：
      2010
    • 负责人：
      BANBARA Mutsunori
    • 依托单位：
      Kobe University
    国内基金
    海外基金
    基于p53/SAT1/ALOX15信号通路探究纳米塑料暴露诱导肺癌化疗耐药的作用机制
    • 批准号：
      JCZRLH202501242
    • 项目类别：
      省市级项目
    • 资助金额：
      --
    • 批准年份：
      2025
    • 负责人：
    • 依托单位：
      湖北科技学院
    难吸收药物小檗碱基于肠道菌群介导的GABA-SAT1-多胺代谢轴改善肿瘤免疫微环境抗结直肠癌的分子机制研究
    • 批准号：
      QN25H310016
    • 项目类别：
      省市级项目
    • 资助金额：
      --
    • 批准年份：
      2025
    • 负责人：
      于航
    • 依托单位：
      杭州医学院
    基于P53/SAT1/ALOX15信号通路探讨头穴丛刺通过干预去泛素化酶ATXN3抑制AD模型小鼠铁死亡的机制研究
    • 批准号：
    • 项目类别：
      省市级项目
    • 资助金额：
      --
    • 批准年份：
      2024
    • 负责人：
      高伟
    • 依托单位：
      江苏护理职业学院
    SAT1对系统性红斑狼疮患者体内的T淋巴细胞发育分化的调控机制
    • 批准号：
    • 项目类别：
      省市级项目
    • 资助金额：
      --
    • 批准年份：
      2024
    • 负责人：
      徐凌霄
    • 依托单位：