An extension of SQL language for constraint programming on database and its processing system
An extension of SQL language for constraint programming on database and its processing system
数据库及其处理系统约束规划的SQL语言扩展
批准号：
17H01721
负责人：
Sakai Masahiko
金额：
$7.07万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
2017
资助国家：
日本
项目状态：
已结题
起止时间：
2017-04-01 至 2020-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
組合せ最適化問題の記述からSMTソルバの入力式を生成するSQL問合せ
从组合优化问题描述生成 SMT 求解器输入表达式的 SQL 查询
从组合优化问题描述生成 SMT 求解器输入表达式的 SQL 查询
DOI：
--
发表时间：
2019
期刊：
影响因子：
--
作者：
[坂梨元軌, 酒井正彦，西田直樹, 橋本健二]
通讯作者：
橋本健二
組合せ最適化問題を記述するための関係代数の集合上への拡張
关系代数在集合上的扩展以描述组合优化问题
关系代数在集合上的扩展以描述组合优化问题
DOI：
--
发表时间：
2018
期刊：
影响因子：
--
作者：
[坂梨元軌, 酒井正彦, 西田直樹, 橋本健二]
通讯作者：
橋本健二
SQL for combinatorial optimization problems and SMT-based solving by SQL transformation
用于组合优化问题的 SQL 以及通过 SQL 转换进行基于 SMT 的求解
用于组合优化问题的 SQL 以及通过 SQL 转换进行基于 SMT 的求解
DOI：
--
发表时间：
2019
期刊：
影响因子：
--
作者：
[Sakanashi Genki, Sakai Masahiko, Masahiko Sakai]
通讯作者：
Masahiko Sakai
Transformation of Combinatorial Optimization Problems Written in Extended SQL into Constraint Problems
用扩展SQL编写的组合优化问题转化为约束问题
用扩展SQL编写的组合优化问题转化为约束问题
DOI：
10.1145/3236950.3236963
发表时间：
2018
期刊：
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming (PPDP 2018), ACM, isbn:978-1-4503-6441-6
影响因子：
--
作者：
[Sakanashi Genki, Sakai Masahiko]
通讯作者：
Sakai Masahiko
擬ブール制約の導入による組合せ最適化ソルバCombSQL+の高速化
通过引入伪布尔约束加速组合优化求解器 CombSQL+
通过引入伪布尔约束加速组合优化求解器 CombSQL+
DOI：
--
发表时间：
2021
期刊：
電子情報通信学会技術報告
影响因子：
--
作者：
[岸潤一郎, 酒井正彦, 西田直樹, 橋本健二]
通讯作者：
橋本健二
共 8 条
Development methods of programs in tamper-resistant language
-
批准号：26540027
-
项目类别：Grant-in-Aid for Challenging Exploratory Research
-
资助金额：$2.25万
-
财政年份：2014
-
负责人：Sakai Masahiko
-
依托单位：