SAT－based algorithm for knowledge reasoning
SU Kai－le,CHEN Qing－liang,YUE Wei－ya
/D:/magtech/JO/Jwk3_kxyts/WEB-INF/classes/
