memetic algorithms; program modeling; program verification; reachability analysis;
机译:具有基于树的基于树的遗传编程和本地搜索符号回归的多目标迭代算法
机译:基于线性遗传规划的模因算法中可演化局部搜索的概念建模:以容量限制车辆路径问题为例
机译:带有旅馆选择的旅行商问题的混合动态规划和模因算法
机译:一种用于节目验证的迭代算法
机译:模因算法,领域知识和金融投资。
机译:具有模因算法和LévyFlight的新型集中式无范围静态节点定位算法
机译:无约束二进制二次规划问题的模因算法