Volume number106:2018.3.16・17
決定的ポートフォリオ...

決定的ポートフォリオ型並列SATソルバーの待ち時間削減による高速化手法 (特集 「命題論理の充足可能性問題SATの最新動向」および一般)

Icons representing 記事

決定的ポートフォリオ型並列SATソルバーの待ち時間削減による高速化手法(特集 「命題論理の充足可能性問題SATの最新動向」および一般)

Call No. (NDL)
Z14-1667
Bibliographic ID of National Diet Library
028901676
Material type
記事
Author
後藤 優也ほか
Publisher
東京 : 人工知能学会
Publication date
2018-03
Material Format
Paper
Journal name
人工知能基本問題研究会 106:2018.3.16・17
Publication Page
p.25-30
View All

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

  • CiNii Research

    Search Service
    Digital
    You can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper Digital

Material Type
記事
Author/Editor
後藤 優也
鍋島 英知
Alternative Title
Reducing waiting time of deterministic portfolio parallel SAT solvers
Periodical title
人工知能基本問題研究会
No. or year of volume/issue
106:2018.3.16・17
Volume
106
Pages
25-30