記事・論文
| 题名 | 決定的ポートフォリオ型並列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 : 日本語 |
