文献
J-GLOBAL ID:202202242505688668
整理番号:22A1077276
3SAT問題に対するバイアスPPSZアルゴリズムの改善
An Improvement of the Biased-PPSZ Algorithm for the 3SAT Problem
著者 (2件):
QIN Tong
(SIT Division, Makino Milling Machine Co., Ltd.)
,
WATANABE Osamu
(School of Computing, Tokyo Institute of Technology)
資料名:
IEICE Transactions on Information and Systems (Web)
(IEICE Transactions on Information and Systems (Web))
巻:
E105.D
号:
3
ページ:
481-490(J-STAGE)
発行年:
2022年
JST資料番号:
U0469A
ISSN:
1745-1361
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
日本 (JPN)
言語:
英語 (EN)