文献
J-GLOBAL ID:201702262098375668
整理番号:17A1653030
SMTを用いた制約付きのロケーティングアレイの生成について
On the generation of constrained locating arrays using an SMT solver
著者 (4件):
JIN Hao
(大阪大 大学院情報科学研究科)
,
JIN Hao
(産業総合技術研 情報技術研究部門)
,
CHOI Eun-Hye
(産業総合技術研 情報技術研究部門)
,
土屋達弘
(大阪大 大学院情報科学研究科)
資料名:
電子情報通信学会技術研究報告
(IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
巻:
117
号:
249(DC2017 20-32)
ページ:
55-60
発行年:
2017年10月12日
JST資料番号:
S0532B
ISSN:
0913-5685
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
日本 (JPN)
言語:
日本語 (JA)