番原 睦則 BANBARA Mutsunori

ID:9000345321148

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

同姓同名の著者を検索

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

  • インクリメンタルSAT解法ライブラリとその応用

    迫 龍哉 , 宋 剛秀 , 番原 睦則 , 田村 直之 , 鍋島 英知 , 井上 克巳

    近年,命題論理の充足可能性判定(SAT)問題を解くSATソルバーの飛躍的な性能向上を背景に,問題をSATに変換し,SATソルバーを用いて求解するSAT型ソルバーが成功を収めている.しかしながら,最適化問題,解列挙問題などに対しては,SATソルバーを複数回起動する必要があり,求解性能が大きく低下することがある.この問題を解決する方法として,インクリメンタルSAT解法の利用が挙げられる.SATソルバー …

    コンピュータ ソフトウェア 33(4), 4_16-4_29, 2016

    J-STAGE

ページトップへ