我所博士研究生凌应标，吴向军在《计算机学报》上发表论文！

凌应标、吴向军、姜云飞,

《基于子句权重学习的求解SAT问题的遗传算法》,

《计算机学报》已录用，拟在2005年发表