机译:使用MINIZINC的决策支持系统
机译:SUNNY-CP和MiniZinc挑战
机译:MiniBrass:MiniZinc的软约束
机译:MiniZinc的随机连续优化后端及其在几何布局问题中的应用
机译:多变量随机波动的三篇论文:通过Wishart随机散步多变量随机波动性。随机考律下的高效前沿界限。通过Wishart随机行走的高尺寸因子多变量随机波动率
机译:5-甲酰基四氢叶酸的无用循环在叶酸介导的一碳代谢的扩展混合-随机模型中降低了路径的随机性
机译:MiniZinc +:约束编程语言MiniZinc的有限类型扩展