基本情報

所属
神戸大学 情報基盤センター 教授
学位
工学修士(神戸大学)(神戸大学)
学術博士(神戸大学)

J-GLOBAL ID
201101035974341772

外部リンク

制約プログラミング,論理プログラミング,SAT技術に興味を持つ.

研究キーワード

  2

論文

  110

MISC

  105

講演・口頭発表等

  46

Works(作品等)

  2
  • Copris 
    田村 直之
     コンピュータソフト
  • Sugar 
    田村 直之
     コンピュータソフト

共同研究・競争的資金等の研究課題

  6

産業財産権

  1