Takahisa TODA (戸田貴久)

0110100_Ⅰ類（情報系）, 0110000_情報理工学域, The University of Electro-Communications

Constraint Satisfaction | 制約充足

Satisfiability | 充足可能性

論理と推論

Artificial Intelligence | 人工知能

Discrete Algorithm | 離散アルゴリズム

特許

by Takahisa TODA

公開済 24/11/2017

特許第6602259,

Publication Number: -, Announcement Number: 特開2017-208001, Right Holder: -, Applicant Country: -, Acquisition Country: -