一种规约于可满足性问题（SAT）的知识推理算法*
SAT－based algorithm for knowledge reasoning
SU Kai－le,CHEN Qing－liang,YUE Wei－ya
