Profile Information

Affiliation
Kobe University
(Concurrent)
Degree
Ph.D
学術博士(神戸大学)

J-GLOBAL ID
201101035974341772
researchmap Member ID
B000000148

External link

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

Awards

  11

Papers

  114

Misc.

  108

Presentations

  46

Works

  2
  • Copris 
    田村 直之
     Software
  • Sugar 
    田村 直之
     Software

Research Projects

  25

Industrial Property Rights

  1