文献
J-GLOBAL ID:201702265691955316
整理番号:17A1696503
単一解3SAT問題に対するHertliアルゴリズムの改良
An Improvement of the Algorithm of Hertli for the Unique 3SAT Problem
著者 (2件):
QIN Tong
(Tokyo Inst. of Technol., Tokyo, JPN)
,
WATANABE Osamu
(Tokyo Inst. of Technol., Tokyo, JPN)
資料名:
電子情報通信学会技術研究報告
(IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
巻:
117
号:
269(COMP2017 20-25)
ページ:
5-12
発行年:
2017年10月20日
JST資料番号:
S0532B
ISSN:
0913-5685
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
日本 (JPN)
言語:
英語 (EN)