番原 睦則 BANBARA Mutsunori

ID:9000258238496

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

同姓同名の著者を検索

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

  • 位取り記数法に基づく整数有限領域上の制約充足問題のコンパクトかつ効率的なSAT符号化

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

    本論文では,整数有限領域上の制約充足問題に現れる算術的な制約をSATに符号化する新しい方法としてコンパクト順序符号化を提案する.コンパクト順序符号化の基本アイデアは,各整数変数を位取り基数法(すなわちB進法)で表現することと,各桁を順序符号化を用いてSATに符号化することである(B ≥ 2,Bを基底と呼ぶ).コンパクト順序符号化はB = 2の場合には対数符号化と等価であり,Bが整数変数のドメインサ …

    コンピュータ ソフトウェア 30(1), 1_211-1_230, 2013

    J-STAGE DOI

ページトップへ