05月12日(Mon) 17:20〜19:00 D会場(48人-ひめぎんホール 第3会議室)
| 演題番号 | 1D5-OS-11b-1 |
|---|---|
| 題目 | 高速SATソルバーZENN及びその高速化手法 |
| 著者 | 早田 翔(九州大学システム情報科学府情報学専攻) 安本 猛() 越村 三幸(九州大学大学院システム情報科学研究院情報学部門) 藤田 博(九州大学大学院システム情報科学研究院情報学部門) 長谷川 隆三(九州大学大学院システム情報科学研究院情報学部門) |
| 時間 | 05月12日(Mon) 17:15〜17:30 |
| 概要 | 本論文では、SATCompetition2013Application分野のSAT部門で2位、SAT+UNSAT部門で3位を獲得したソルバー「ZENN」についての解説を行う。また、同大会で上位の成績を残している高速ソルバーとの比較を行い、大会結果に対する考察を示す。 |
| 論文 | PDFファイル |