如何在研究中展示MiniZinc的效率

Question

前段时间，我正在撰写与OR相关的文章以供发布。在本文中，使用MiniZinc显示了针对某些优化问题的MILP模型。我可以从10个实例中最佳解析10个实例。

[顾问审查它并提及以下2条评论：

1. 您如何将MiniZinc与其他最新一代的MILP求解器（如CPLEX或Gurobi）的性能进行比较？]] >>

   我一直使用MiniZinc，它为我有效地工作。如何证明MiniZinc的多功能性？是否有参考书目或证明其合理性的方法？

2. 由于MiniZinc不是最著名的MILP求解器之一，因此应避免在摘要中提及其名称。

出于什么原因，您不建议在摘要中提及它？

使用MiniZinc的有效理由是什么？

最诚挚的问候。

前段时间，我正在撰写与OR相关的文章以供发布。在本文中，使用MiniZinc显示了针对某些优化问题的MILP模型。我从10个实例中最佳解析出10个实例...

Answer 1

为了证明使用MiniZinc合理，最重要的是要阐明MiniZinc的功能。运筹学社区有时在方式上非常固执，通常着眼于两件事：

1. 哪个线性方程组可以编码您的问题？