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