Ouyang Dantong について
吉林大学計算机科学与技術学院,吉林長春 130012;符号計算与知識工程教育部重点実験室(吉林大学),吉林長春 130012 について
Liu Bowen について
吉林大学計算机科学与技術学院,吉林長春 130012;符号計算与知識工程教育部重点実験室(吉林大学),吉林長春 130012 について
Zhou Jianhua について
吉林大学軟件学院,吉林長春 130012;符号計算与知識工程教育部重点実験室(吉林大学),吉林長春 130012 について
Zhang Liming について
吉林大学計算机科学与技術学院,吉林長春 130012;符号計算与知識工程教育部重点実験室(吉林大学),吉林長春 130012 について
Dianzi Xuebao について
人工知能 について
記憶装置 について
再構成 について
ソルバ について
探索法 について
model-based diagnosis について
conflict set について
Boolean SATisfiability problem (SAT) について
set-enumeration tree(SE-Tree) について
人工知能 について
逆方向 について
衝突 について
集合 について
提案 について