WEKO3
アイテム
論理式の充足可能性問題(SAT)の分散環境での実行について
https://ipsj.ixsq.nii.ac.jp/records/239928
https://ipsj.ixsq.nii.ac.jp/records/23992864d4ec78-2375-44af-afaf-06c4a1482c8e
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
WPRO2004004.pdf (11.5 MB)
|
|
|
| オープンアクセス | ||
| Item type | Symposium(1) | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2004-01-07 | |||||||||||
| タイトル | ||||||||||||
| タイトル | 論理式の充足可能性問題(SAT)の分散環境での実行について | |||||||||||
| 言語 | ||||||||||||
| 言語 | jpn | |||||||||||
| 資源タイプ | ||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||||
| 資源タイプ | conference paper | |||||||||||
| 著者所属 | ||||||||||||
| 東京大学 | ||||||||||||
| 著者所属 | ||||||||||||
| 東京大学 | ||||||||||||
| 著者所属 | ||||||||||||
| 東京大学 | ||||||||||||
| 著者名 |
鴨志田, 良和
× 鴨志田, 良和
× 田浦, 健次朗
× 近山, 隆
|
|||||||||||
| 書誌情報 |
第45回プログラミング・シンポジウム報告集 巻 2004, p. 35-44, 発行日 2004-01-07 |
|||||||||||
| 出版者 | ||||||||||||
| 言語 | ja | |||||||||||
| 出版者 | 情報処理学会 | |||||||||||
