記事・論文
| Title | 決定的ポートフォリオ型並列SATソルバーの待ち時間削減による高速化手法 |
|---|---|
| Author | 後藤 優也 |
| Author | 鍋島 英知 |
| Series | 特集 「命題論理の充足可能性問題SATの最新動向」および一般 |
| Place of Publication (Country Code) | JP |
| Place of Publication | 東京 |
| Publisher | 人工知能学会 |
| Date | 106:2018.3.16・17 |
| Parallel Title | Reducing waiting time of deterministic portfolio parallel SAT solvers |
| Year of Publication(W3CDTF) | 2018-03 |
| NDLC | ZM13 |
| Target Audience | 一般 |
| Material Type | 記事・論文 |
| is part of (URI Form) | https://iss.ndl.go.jp/books/R100000002-I000007429400-00 |
| Magazine-which-carries-the-article name | 人工知能基本問題研究会 |
| Printing volume | 106 |
| Printing page | 25-30 |
| Language（ISO639-2 Form) | jpn : 日本語 |
