Cork Constraint Computation Centre, University College Cork;
机译:利用间隔 - 值Utumophic限制基于机会约束编程模型的能量调度问题的最优解
机译:运输科学中的双层优化模型的适用性和解决方案:带有平衡约束的随机数学程序最优解的存在性,稳定性和计算研究
机译:组合问题的约束逻辑编程和答案集编程解的实证研究
机译:约束程序加权超级解决方案
机译:对马里Sasakawa非洲推广教育基金(SAFE)培训计划的评估:毕业生对培训的影响以及与受监管企业项目(SEPs)相关的机会和限制的看法。
机译:系统发育特征的运输蛋白超家族:SuperfamilyTree程序优于那些基于多个比对的程序。
机译:约束编程的超级解决方案
机译:超空间中的N = 2超引力:约束的解