WEKO3
アイテム
F-021 基数制約を用いたMax-SATソルバーの試作(F分野:人工知能・ゲーム,一般論文)
https://ipsj.ixsq.nii.ac.jp/records/150047
https://ipsj.ixsq.nii.ac.jp/records/150047e539b50d-a104-4b6a-8160-2fadd873929f
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
KJ00006917138.pdf (210.0 kB)
|
Copyright (c) 2010 by IEICE,IPSJ
|
| Item type | FIT(1) | |||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2010-08-20 | |||||||||||||
| タイトル | ||||||||||||||
| タイトル | F-021 基数制約を用いたMax-SATソルバーの試作(F分野:人工知能・ゲーム,一般論文) | |||||||||||||
| タイトル | ||||||||||||||
| 言語 | en | |||||||||||||
| タイトル | F-021 An Implementation of Max-SAT Solver with Cardinality Constraints | |||||||||||||
| 言語 | ||||||||||||||
| 言語 | jpn | |||||||||||||
| 資源タイプ | ||||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||||||
| 資源タイプ | conference paper | |||||||||||||
| 著者所属 | ||||||||||||||
| 九州大学大学院システム情報科学府 | ||||||||||||||
| 著者所属 | ||||||||||||||
| 九州大学大学院システム情報科学研究院 | ||||||||||||||
| 著者所属 | ||||||||||||||
| 九州大学大学院システム情報科学研究院 | ||||||||||||||
| 著者所属 | ||||||||||||||
| 九州大学大学院システム情報科学研究院 | ||||||||||||||
| 著者所属(英) | ||||||||||||||
| en | ||||||||||||||
| Graduate School of Information Science and Electrical Engineering, Kyushu University | ||||||||||||||
| 著者所属(英) | ||||||||||||||
| en | ||||||||||||||
| Faculty of Information Science and Electrical Engineering, Kyushu University | ||||||||||||||
| 著者所属(英) | ||||||||||||||
| en | ||||||||||||||
| Faculty of Information Science and Electrical Engineering, Kyushu University | ||||||||||||||
| 著者所属(英) | ||||||||||||||
| en | ||||||||||||||
| Faculty of Information Science and Electrical Engineering, Kyushu University | ||||||||||||||
| 著者名 |
張, 〓
× 張, 〓
× 越村, 三幸
× 藤田, 博
× 長谷川, 隆三
|
|||||||||||||
| 著者名(英) |
Zhang, Tong
× Zhang, Tong
× Koshimura, Miyuki
× Fujita, Hiroshi
× Hasegawa, Ryuzo
|
|||||||||||||
| 書誌レコードID | ||||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||||
| 収録物識別子 | AA1242354X | |||||||||||||
| 書誌情報 |
情報科学技術フォーラム講演論文集 巻 9, 号 2, p. 405-406, 発行日 2010-08-20 |
|||||||||||||
| 出版者 | ||||||||||||||
| 言語 | ja | |||||||||||||
| 出版者 | 情報処理学会 | |||||||||||||
