刷新
{{item.name}}会员
Research and Development on Constraint Answer Set Programming Using SAT Encoding
SAT编码约束答案集编程的研究与进展
基本信息
- 批准号：15K00099
- 负责人：
- 金额：$ 2.91万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Scientific Research (C)
- 财政年份：2015
- 资助国家：日本
- 起止时间：2015-04-01 至 2018-03-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
順序符号化と対数符号化を融合した制約充足問題のハイブリッド符号化
结合序数编码和对数编码的约束满足问题的混合编码
- DOI：
- 发表时间：2015
- 期刊：
- 影响因子：0
- 作者：宋剛秀;番原睦則;田村直之
- 通讯作者：田村直之
SAT-based Constraint Programming Systems and Related Technologies
基于SAT的约束规划系统及相关技术
- DOI：10.11309/jssst.34.1_67
- 发表时间：2017
- 期刊：
- 影响因子：0
- 作者：宋剛秀;番原睦則;田村直之
- 通讯作者：田村直之
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ 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 }}
BANBARA Mutsunori其他文献
BANBARA Mutsunori的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('BANBARA Mutsunori', 18)}}的其他基金
Automatic Test Case Generation for Combinatorial Testing Using Various Logical Inference Engines
使用各种逻辑推理引擎自动生成组合测试的测试用例
- 批准号：
22700032 - 财政年份：2010
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
A Prolog-Based Parallel Execution System for Multiple SAT Solvers
基于 Prolog 的多 SAT 求解器并行执行系统
- 批准号：
19700025 - 财政年份：2007
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
相似海外基金
非線形ハイブリッドシステムのための区間制約プログラミングにもとづくモデル検査技術
基于区间约束规划的非线性混合系统模型检验技术
- 批准号：
11J03810 - 财政年份：2011
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for JSPS Fellows
制約プログラミングによる視覚化モデルの形式化と実現
使用约束规划的可视化模型的形式化和实现
- 批准号：
16016286 - 财政年份：2004
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Scientific Research on Priority Areas
大規模グラフィカルユーザーインターフェースのための軽量制約プログラミング技術
大规模图形用户界面的轻量级约束编程技术
- 批准号：
12780252 - 财政年份：2000
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
制約プログラミングによる幾何学制約充足問題の一般的解法の研究
基于约束规划的几何约束满足问题通用解研究
- 批准号：
07780345 - 财政年份：1995
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
制約プログラミング言語による統合ロボットプログラミング
使用约束编程语言进行集成机器人编程
- 批准号：
06780339 - 财政年份：1994
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
並行制約プログラミング言語の表示的手法を用いた意味論に関する研究
使用指示方法研究并发约束编程语言的语义
- 批准号：
04750343 - 财政年份：1992
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)