MiniZinc 发布 MiniZinc benchmarks 数据集, 应用在 约束优化、算法评估 领域

MiniZinc 本次发布的数据集 MiniZinc benchmarks, 该数据集包含了七个曾在MiniZinc挑战中使用的约束优化问题（COPs），其中的实例数量从50个到数千个不等，用于评估约束求解器（CP solvers）。此外，数据集还包括了不同目标函数的最小化问题，以及不同大小的训练集，以评估边界估计的影响。这些问题实例的数量规模从每个问题50个到超过11,000个不等。该数据集的任务是对约束优化问题（COPs）进行边界估计。

查看MiniZinc benchmarks

关于 arXiv , arXiv 是一个免费分发服务和开放获取的学术文章档案库，涵盖了物理学、数学、计算机科学、定量生物学、定量金融、统计学、电气工程和系统科学以及经济学等领域。该网站上的材料并未经过 arXiv 的同行评审。