机译:数学程序的基于稳定器的对称突破约束
IBM 'T.J. Watson' Research Center, Yorktown Heights, NY 10598, USA,LIX, Ecole Polytechnique, 91128 Palaiseau, France;
Department of Industrial and Information Engineering, University of Tennessee, Knoxville, TN 37996-0700, USA;
Mathematical programming; Static symmetry breaking; MILP; MINLP;
机译:使用优化模数理论,数学编程和对称性断开的基于组件的应用程序云中的可扩展最佳部署
机译:约束满足中的值对称的对称打破约束
机译:与应用程序到任一或约束编程的切换约束的数学程序的实用条件和约束资格
机译:在约束规划中提高搜索过程中的对称性
机译:使用约束打破约束满足问题中的值对称性
机译:二维填充中的动力学不稳定性对称性破坏和几何约束对无序上限的作用
机译:数学程序的基于稳定器的对称突破约束