論文

査読有り

2013年

Derandomizing the HSSW Algorithm for 3-SAT.

Algorithmica

Kazuhisa Makino
Suguru Tamaki
Masaki Yamamoto 0001

巻: 67
号: 2
開始ページ: 112
終了ページ: 124
記述言語
掲載種別: 研究論文（学術雑誌）
DOI: 10.1007/s00453-012-9741-4

リンク情報

DOI: https://doi.org/10.1007/s00453-012-9741-4
DBLP: https://dblp.uni-trier.de/rec/journals/algorithmica/MakinoTY13
Dblp Url: https://dblp.uni-trier.de/db/journals/algorithmica/algorithmica67.html#MakinoTY13

ID情報

DOI : 10.1007/s00453-012-9741-4
DBLP ID : journals/algorithmica/MakinoTY13

エクスポート: BibTeX RIS

論文リストへ