课题基金 / 基金详情

Realization of High-Performance and Flexible Constraint Programming Systems Using Propositional Inference Techniques

Realization of High-Performance and Flexible Constraint Programming Systems Using Propositional Inference Techniques
使用命题推理技术实现高性能和灵活的约束编程系统
批准号：
24300007
负责人：
TAMURA Naoyuki
金额：
$11.48万
依托单位：
Kobe University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
2012
资助国家：
日本
项目状态：
已结题
起止时间：
2012-04-01 至 2015-03-31
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-24300007/
关键词：
制約プログラミング充足可能性判定問題命題論理

项目摘要

项目成果

TAMURA Naoyuki的其他基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Modeling and Algorithm for Dynamic Multi-Objective Weighted Constraint Satisfaction Problem
动态多目标加权约束满足问题的建模与算法
DOI： --
发表时间： 2014
期刊：
影响因子： --
作者： [Kazuhiro Maeda, Fred C. Boogerd, Frank J. Bruggeman, Hans V. Westerhoff, and Hiroyuki Kurata, Tony Ribeiro]
通讯作者： Tony Ribeiro
Abducing Biological Regulatory Networks from Process Hitting Models
从过程命中模型中推断生物调控网络
DOI： --
发表时间： 2012
期刊： ECML-PKDD 2012 Workshop on Learning and Discovery in Symbolic Systems Biology
影响因子： --
作者： [Maxime Folscnette, Loic Pauleve, Katsumi Inoue, Magnin, Olivier Roux]
通讯作者： Olivier Roux
Azucar: A SAT-Based CSP Solver Using Compact Order Encoding
Azucar：使用紧凑阶编码的基于 SAT 的 CSP 求解器
DOI： --
发表时间： 2012
期刊： The 15th International Conference on Theory and Applications of Satisfiability Testing (SAT 2012), LNCS, Springer
影响因子： --
作者： [Tomoya Tanjo, Naoyuki Tamura, Mutsunori Banbara]
通讯作者： Mutsunori Banbara
Pseudo-Tree Based Hybrid Algorithm for Distributed Constraint Optimization
基于伪树的分布式约束优化混合算法
DOI： --
发表时间： 2013
期刊： The IJCAI 2013 Workshop on Distributed Constraint Reasoning (DCR 2013)
影响因子： --
作者： [Tenda Okimoto, Makoto Yokoo, Yuko Sakurai, and Katsumi Inoue]
通讯作者： and Katsumi Inoue
共 57 条
    Study of SAT-based constraint optimization problem solving and its parallel distributed processing
    • 批准号：
      20240003
    • 项目类别：
      Grant-in-Aid for Scientific Research (A)
    • 资助金额：
      $30.37万
    • 财政年份：
      2008
    • 负责人：
      TAMURA Naoyuki
    • 依托单位：
      Kobe University
    Research on a Parallel Constraint Solver System on a Grid Computing Environment
    • 批准号：
      17500094
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.41万
    • 财政年份：
      2005
    • 负责人：
      TAMURA Naoyuki
    • 依托单位：
      Kobe University
    Research of Automated Deduction System for Linear Logic
    • 批准号：
      14580375
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.56万
    • 财政年份：
      2002
    • 负责人：
      TAMURA Naoyuki
    • 依托单位：
      Kobe University