YOKOO M について
NTT Communication Sci. Lab., Kyoto, JPN について
DURFEE E H について
Univ. Michigan, MI について
ISHIDA T について
Kyoto Univ., Kyoto, JPN について
KUWABARA K について
NTT Res. and Dev. Headquarters, Tokyo, JPN について
IEEE Transactions on Knowledge and Data Engineering について
制約充足問題 について
コンカレント処理 について
人工知能 について
分散化 について
CSP について
制約充足問題 について
形式化 について
アルゴリズム について