番原 睦則 BANBARA Mutsunori

ID:9000258238565

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

同姓同名の著者を検索

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

  • パッキング配列問題の制約モデリングとSAT符号化

    則武 治樹 , 番原 睦則 , 宋 剛秀 , 田村 直之 , 井上 克巳

    制約モデリングは与えられた問題を効率よく解く上で重要な役割を果たすことが知られている.近年,大規模な命題論理の充足可能性判定(SAT)問題を高速に解くことが可能なSATソルバーが実現され,制約充足問題(CSP; Constraint Satisfaction Problem)をSAT問題に符号化して,高速なSATソルバーを用いて求解するアプローチが成功を収めている.本論文では,組合せデザイン分野の …

    コンピュータ ソフトウェア 31(1), 1_116-1_130, 2014

    J-STAGE

ページトップへ