WEKO3
アイテム
F-019 BOINCによるSATソルバーの並列実行(F分野:人工知能・ゲーム,一般論文)
https://ipsj.ixsq.nii.ac.jp/records/150046
https://ipsj.ixsq.nii.ac.jp/records/150046352308c6-d292-42bf-aaeb-8b21c5af0e11
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
KJ00006917136.pdf (348.3 kB)
|
Copyright (c) 2010 by IEICE,IPSJ
|
| Item type | FIT(1) | |||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2010-08-20 | |||||||||||||
| タイトル | ||||||||||||||
| タイトル | F-019 BOINCによるSATソルバーの並列実行(F分野:人工知能・ゲーム,一般論文) | |||||||||||||
| タイトル | ||||||||||||||
| 言語 | en | |||||||||||||
| タイトル | F-019 Parallelizing SAT Solver with BOINC | |||||||||||||
| 言語 | ||||||||||||||
| 言語 | jpn | |||||||||||||
| 資源タイプ | ||||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||||||
| 資源タイプ | conference paper | |||||||||||||
| 著者所属 | ||||||||||||||
| 徳山工業高等専門学校 | ||||||||||||||
| 著者所属 | ||||||||||||||
| 九州大学 | ||||||||||||||
| 著者所属 | ||||||||||||||
| 九州大学 | ||||||||||||||
| 著者所属 | ||||||||||||||
| 九州大学 | ||||||||||||||
| 著者所属(英) | ||||||||||||||
| en | ||||||||||||||
| Tokuyama College of Technology | ||||||||||||||
| 著者所属(英) | ||||||||||||||
| en | ||||||||||||||
| Kyushu University | ||||||||||||||
| 著者所属(英) | ||||||||||||||
| en | ||||||||||||||
| Kyushu University | ||||||||||||||
| 著者所属(英) | ||||||||||||||
| en | ||||||||||||||
| Kyushu University | ||||||||||||||
| 著者名 |
力, 規晃
× 力, 規晃
× 越村, 三幸
× 藤田, 博
× 長谷川, 隆三
|
|||||||||||||
| 著者名(英) |
Chikara, Noriaki
× Chikara, Noriaki
× Koshimura, Miyuki
× Fujita, Hiroshi
× Hasegawa, Ryuzo
|
|||||||||||||
| 書誌レコードID | ||||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||||
| 収録物識別子 | AA1242354X | |||||||||||||
| 書誌情報 |
情報科学技術フォーラム講演論文集 巻 9, 号 2, p. 399-402, 発行日 2010-08-20 |
|||||||||||||
| 出版者 | ||||||||||||||
| 言語 | ja | |||||||||||||
| 出版者 | 情報処理学会 | |||||||||||||
