LINA - UMR CNRS 6241, Universite de Nantes, France;
机译:从实时并行程序自动综合多处理器系统的答案集与整数线性编程
机译:从实时并行程序自动综合多处理器系统的答案集与整数线性编程
机译:基于混合整数线性规划的SPN结构块密码对相关关键差分攻击的自动安全性评估
机译:使用整数线性编程减少用于自动关键字提取的过度产生误差
机译:自动汇总和关键短语提取的评估技术和基于图的算法。
机译:通过混合整数非线性规划自动设计合成基因电路
机译:使用整数线性规划减少自动关键短语提取的过度生成错误