主催: 一般社団法人 人工知能学会
会議名: 2014年度人工知能学会全国大会（第28回）
回次: 28
開催地: 愛媛県松山市 ひめぎんホール
開催日: 2014/05/12 - 2014/05/15
九州大学システム情報科学府情報学専攻
Unknown
九州大学大学院システム情報科学研究院情報学部門
(EndNote、Reference Manager、ProCite、RefWorksとの互換性あり)
(BibDesk、LaTeXとの互換性あり)
本論文では、SATCompetition2013Application分野のSAT部門で2位、SAT+UNSAT部門で3位を獲得したソルバー「ZENN」についての解説を行う。また、同大会で上位の成績を残している高速ソルバーとの比較を行い、大会結果に対する考察を示す。
すでにアカウントをお持ちの場合 サインインはこちら
