/ プログラム/ 発表一覧/ 著者一覧企業展示一覧/ jsai2014ホーム /

1D5-OS-11b-1 高速SATソルバーZENN及びその高速化手法

*セッションの無断動画配信はご遠慮下さい。

Tweet #jsai2014 このエントリーをはてなブックマークに追加

05月12日(Mon) 17:20〜19:00 D会場(48人-ひめぎんホール 第3会議室)
1D5-OS-11b オーガナイズドセッション「OS-11 SAT技術の理論,実装,応用 (2)」

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