番原 睦則 BANBARA Mutsunori

ID:9000258238198

神戸大学情報基盤センター Information Science and Technology Center, Kobe University (2010年 CiNii収録論文より)

同姓同名の著者を検索

論文一覧:  1件中 1-1 を表示

  • SAT変換に基づく制約ソルバーとその性能評価

    田村 直之 , 丹生 智也 , 番原 睦則

    本論文では,SAT変換に基づく制約ソルバーであるSugarの概要とその性能評価結果について述べる.Sugarは,制約充足問題(CSP),制約最適化問題(COP)および最大制約充足問題(Max-CSP)を,命題論理の充足可能性判定問題(SAT問題) に変換し,MiniSat等の高速なSATソルバーを用いて求解を行うシステムである.SAT変換には,order encodingと名付けた新しい方法を用い …

    コンピュータ ソフトウェア 27(4), 183-196, 2010

    機関リポジトリ J-STAGE DOI

ページトップへ