约束模型可能具有限制或向约束求解器提供提示，以通过定义求解变量的顺序来更有效地解决问题。是否有一种机制来指定在 MiniZinc 或 FlatZinc 中需要解决变量的顺序？
问问题
938 次
2 回答
9
int_search/4 用于搜索注释，即用于说明涉及的变量和变量/值策略。
例子：
solve :: int_search(q, first_fail, indomain_min, complete) satisfy;
在 MiniZinc 教程（第 5.2 节）中查看更多信息：http: //www.minizinc.org/downloads/doc-latest/minizinc-tute.pdf FlatZinc 规范有一个不同策略的详细列表：http:// www.minizinc.org/downloads/doc-1.6/flatzinc-spec.pdf（第 5.6.1 节）。
于 2014-04-03T07:34:37.557 回答
4
搜索组合器提供了对搜索过程的更灵活控制，下面的出版物中对此进行了描述。
Schrijvers、汤姆等人。“搜索组合器。” 约束编程的原理和实践——CP 2011。Springer Berlin Heidelberg，2011。774-788。在线http://arxiv.org/pdf/1203.1095.pdf
Gecode 存在一些实现，请参阅Gecode 的 FlatZinc 页面底部
于 2014-09-03T10:17:13.153 回答