The site menu is from hereThe head of this page

This is an explanation of shortcut keys. To link or execute a function, press any of the following combinations of shortcut keys and then press Enter.  To listen to an explanation of shortcut keys, press Alt and 0.  To display the top page, press Alt and 1.  To login, press Alt and 2.  To display the Simple Search page, press Alt and 3.  To display the Advanced Search page, press Alt and 4.  To display the Search page for persons with disabilities, press Alt and 5.  To sort search results, press Alt and 6.  To display the NDL homepage, press Alt and 7.  To refine search results, press Alt and 8.  This ends the explanation of shortcut keys.

The navigation is from here

The navigation is to here

A body is from here

Format 記事・論文


後藤 優也,鍋島 英知


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

A body is to here

Copyright © 2012 National Diet Library. All Rights Reserved.

Foot is to here