一种将遗传算法应用于谓词求精的方法
일충장유전산법응용우위사구정적방법
An Approach to Applying Genetic Algorithm to Predicate Refinement
저자의 최근 논문