| 演題番号 | 3J1-OS7-1in |
|---|---|
| 題目 | 整数有限領域上の制約充足問題のコンパクトかつ効率的なSAT符号化 |
| 著者 | 丹生 智也(神戸大学 大学院工学研究科) 田村 直之(神戸大学 情報基盤センター) 番原 睦則(神戸大学 情報基盤センター) |
| 時間 | 06月03日(Fri) 08:50〜09:10【一般口頭発表】06月01日(Wed) 18:10〜20:10【インタラクティブ発表】 |
| 概要 | 本論文では，整数有限領域上の制約充足問題(CSP)へ適用可能なSAT 符号化法であるコンパクト順序符号化法について述べる． コンパクト順序符号化法では，各整数変数をB進法(B >= 2)を用いて 表現し，各桁を順序符号化法を用いて符号化するため，順序符号化 法と対数符号化法の一般化となっている． また，提案方法の有効性を示すための性能評価結果についても述べる． |
| 論文 | PDFファイル |