Departament of Computer Science University of A Coruna A Coruna, Spain;
genetic algorithm; crossover; coq; calculus of inductive constructions; specification; theorem proving;
机译:用于提高基于置换遗传算法效率的交叉运算符
机译:实数编码遗传算法的多后代混合交叉算子:结合基于邻域的交叉算子
机译:遗传算法交叉运算符的研究及其变体和新的正弦运动交叉算子
机译:认证遗传算法:排列的交叉运算符
机译:改进的交叉算子,用于使用遗传算法进行蛋白质折叠模拟。
机译:具有形式化交叉算子的生物启发遗传算法在机器人应用中的应用
机译:具有解域的置换表示的遗传算法的交叉和变异算子