文献

J-GLOBAL ID：201302288252061329   整理番号：13A1330911

3-SAT用のHSSWアルゴリズムの脱ランダム化

Derandomizing the HSSW Algorithm for 3-SAT

著者 (3件)： MAKINO Kazuhisa (Univ. of Tokyo, Graduate School of Information Sci. and Technol., Tokyo, JPN) ,  TAMAKI Suguru (Kyoto Univ., Graduate School of Informatics, Japan, Kyoto) ,  YAMAMOTO Masaki (Seikei Univ., Dep. of Computer and Information Sci., Tokyo, JPN)
資料名： Algorithmica  (Algorithmica)
巻： 67  号： 2  ページ： 112-124  発行年： 2013年10月 
JST資料番号： T0530A  ISSN： 0178-4617  資料種別： 逐次刊行物 (A)
発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

タイトルに関連する用語 (3件)： SAT ,  アルゴリズム ,  脱ランダム化