文献
J-GLOBAL ID:201302288252061329   整理番号:13A1330911

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

Derandomizing the HSSW Algorithm for 3-SAT
著者 (3件):
資料名:
巻: 67  号:ページ: 112-124  発行年: 2013年10月 
JST資料番号: T0530A  ISSN: 0178-4617  資料種別: 逐次刊行物 (A)
発行国: アメリカ合衆国 (USA)  言語: 英語 (EN)
タイトルに関連する用語 (3件):
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです

前のページに戻る