文献
J-GLOBAL ID:201802248349148853
整理番号:18A0201487
可変決定レベルに基づく分岐発見的方法【Powered by NICT】
A branching heuristic based on variable decision levels
著者 (2件):
Du Zhonghe
(National-Local Joint Engineering Laboratory of System Credibility Automatic Verification, Southwest Jiaotong University, Chengdu, Sichuan, 610031, China)
,
Song Zhenming
(National-Local Joint Engineering Laboratory of System Credibility Automatic Verification, Southwest Jiaotong University, Chengdu, Sichuan, 610031, China)
資料名:
IEEE Conference Proceedings
(IEEE Conference Proceedings)
巻:
2017
号:
ISKE
ページ:
1-5
発行年:
2017年
JST資料番号:
W2441A
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)