記事・論文
| タイトル | 決定的ポートフォリオ型並列SATソルバーの待ち時間削減による高速化手法 |
|---|---|
| 著者 | 後藤 優也 |
| 著者 | 鍋島 英知 |
| シリーズ名 | 特集 「命題論理の充足可能性問題SATの最新動向」および一般 |
| 出版地（国名コード） | JP |
| 出版地 | 東京 |
| 出版社 | 人工知能学会 |
| 出版年月日等 | 106:2018.3.16・17 |
| 別タイトル | Reducing waiting time of deterministic portfolio parallel SAT solvers |
| 出版年(W3CDTF) | 2018-03 |
| NDLC | ZM13 |
| 対象利用者 | 一般 |
| 資料の種別 | 記事・論文 |
| 掲載誌情報（URI形式） | https://iss.ndl.go.jp/books/R100000002-I000007429400-00 |
| 掲載誌名 | 人工知能基本問題研究会 |
| 掲載巻 | 106 |
| 掲載ページ | 25-30 |
| 言語（ISO639-2形式） | jpn : 日本語 |
