首页期刊浏览 2024年11月10日星期日

登录注册

全文

有本地全文

3篇

出版年度

	2013	1篇
	2012	1篇
	2010	1篇

作者

	丹生智也	3篇
	田村直之	3篇
	番原睦則	3篇

来源期刊

コンピュータソフトウェア

3篇

学科主题

计算技术、计算机技术

3篇

语种

日文

3篇

国别/地区

日本

3篇

检索条件:"( ( 高级检索(( ((AU:(("丹生智也")))) )) ) )"

共 3 条记录

排序：全选导出：

1.SAT変換に基づく制約ソルバーとその性能評価

作　　者：田村直之 ;丹生智也 ;番原睦則

出　　处：コンピュータソフトウェア. 2010 ;27(4):4_183-4_196.doi:10.11309/jssst.27.4_183

出版社：Japan Society for Software Science and Technology

文章 ID：104502863

文章详细全文下载
2.Scala上の制約プログラミング用ドメイン特化言語Coprisについて

作　　者：田村直之 ;丹生智也 ;番原睦則

出　　处：コンピュータソフトウェア. 2012 ;29(4):4_114-4_129.doi:10.11309/jssst.29.4_114

出版社：Japan Society for Software Science and Technology

文章 ID：104503011

文章详细全文下载
3.位取り記数法に基づく整数有限領域上の制約充足問題のコンパクトかつ効率的なSAT符号化

作　　者：丹生智也 ;田村直之 ;番原睦則

出　　处：コンピュータソフトウェア. 2013 ;30(1):1_211-1_230.doi:10.11309/jssst.30.1_211

出版社：Japan Society for Software Science and Technology

文章 ID：104503046

文章详细全文下载

1

电话：010-85195300

E-mail：cassoa@cass.org.cn

地址：中国北京建国门内大街5号中国社会科学院1#楼

扫一扫关注微信

联系我们|关于我们|网站声明

国家哲学社会科学文献中心版权所有