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