Chalmers Tekniska Hogskola (Sweden).;
机译:使用SMT求解器状态生成的微处理器模型的随机测试
机译:在B和Event-B开发环境中集成SMT求解器
机译:人力学习优化算法的混合和粒子群优化算法,具有灵活作业商店调度问题的调度策略
机译:使用SMT求解器进行建模和验证动态网络仿真器:(正在进行中)
机译:空中加油调度和调度问题的优化模型和近似算法。
机译:改进的粒子群算法在电力多厂段调车调度中的应用
机译:超蜂窝网络中资源的动态调度与优化} {超蜂窝网络中的资源动态调度与优化
机译:用于活动调度的多项式优化技术。基于优化的原型调度程序