並列SATソルバのXeon Phiプロセッサ上での性能評価

カテゴリ: 論文誌(論文単位)

グループ名: 【D】産業応用部門

発行日: 2019/02/01

タイトル(英語): Performance Evaluation of Parallel SAT Solver on Xeon Phi Processor

著者名: 西脇　慎太朗（豊橋技術科学大学 電気・電子情報工学系），藤枝　直輝（豊橋技術科学大学 電気・電子情報工学系），市川　周一（豊橋技術科学大学 電気・電子情報工学系）

著者名(英語): Shintaro Nishiwaki (Department of Electrical and Electronic Information Engineering,Toyohashi University of Technology), Naoki Fujieda (Department of Electrical and Electronic Information Engineering,Toyohashi University of Technology), Shuichi Ichikawa (Department of Electrical and Electronic Information Engineering,Toyohashi University of Technology)

キーワード: メニーコアプロセッサ，計算困難問題，並列化　　many-core processor，computationally hard problems，parallelization

要約(英語): The satisfiability (SAT) problem is widely applicable to various industrial problems, such as formal verification of industrial systems. This study presents the performance evaluation of a parallel SAT solver (Glucose Syrup) on Intel Xeon Phi many-core processors. After limiting the number of learnt clauses to be shared, the number of solved problems in the SAT Competition 2016 workload increased from 201 to 236, yet it was smaller than that of a Xeon processor.

本誌: 電気学会論文誌D（産業応用部門誌） Vol.139 No.2 （2019） 特集：ドローンとロボット組み込み/サスティナブルシステム

本誌掲載ページ: 119-126 p

原稿種別: 論文／日本語

電子版へのリンク: https://www.jstage.jst.go.jp/article/ieejias/139/2/139_119/_article/-char/ja/