命題論理の充足可能性判定問題への符号化を用いた制約充足問題の解法に関する研究
この論文にアクセスする
この論文をさがす
著者
書誌事項
- タイトル
-
命題論理の充足可能性判定問題への符号化を用いた制約充足問題の解法に関する研究
- 著者名
-
丹生, 智也
- 著者別名
-
タンジョウ, トモヤ
- 学位授与大学
-
神戸大学
- 取得学位
-
博士 (工学)
- 学位授与番号
-
甲第5490号
- 学位授与年月日
-
2012-03-25
注記・抄録
博士論文
命題論理の充足可能性判定問題への符号化を用いた制約充足問題の解法に関する研究
丹生, 智也
タンジョウ, トモヤ
神戸大学
博士 (工学)
甲第5490号
2012-03-25
博士論文