命題論理の充足可能性判定問題への符号化を用いた制約充足問題の解法に関する研究

この論文にアクセスする

この論文をさがす

著者

    • 丹生, 智也 タンジョウ, トモヤ

書誌事項

タイトル

命題論理の充足可能性判定問題への符号化を用いた制約充足問題の解法に関する研究

著者名

丹生, 智也

著者別名

タンジョウ, トモヤ

学位授与大学

神戸大学

取得学位

博士 (工学)

学位授与番号

甲第5490号

学位授与年月日

2012-03-25

注記・抄録

博士論文

0アクセス

各種コード

  • NII論文ID(NAID)
    500000562596
  • NII著者ID(NRID)
    • 8000000564812
  • 本文言語コード
    • jpn
  • NDL書誌ID
    • 023963515
  • データ提供元
    • 機関リポジトリ
    • NDL-OPAC
ページトップへ