constraint-programming
-
Choco Solver ICF 约束定义数组中最小和最大变量之间的距离
-
ECLiPSe CLP 谜题：完美的矩形拟合
-
观点数独
-
如何在 Choco (CSP) 中定义产品
-
使用 Choco (CSP) 建模网球比赛
-
实例化故障 ECLiPSe CSP
-
取自加德纳的谜题
-
具有最活跃社区和资源的约束编程工具集
-
约束编程：调度多个工人
-
矩阵 Choco3 中列的约束
-
多数独 AI 方法
-
使用 lpSolveAPI 获取 0/1-Knapsack MILP 的多个解决方案
-
在 Java 中实现 'generalized arc consistency' 算法有些困难
-
带有时间 windows 的车辆路径 minizinc 示例
-
如何为行程的车辆分配建模，可能使用 Linear/Integer/Mixed 数学？
-
我在 Solver Foundation 模型中定义了多少 Terms/Variables/Constraints/Non-Zeroes？
-
如何使用 java choco3 API 获取 IntVar 中元素的索引？
-
遗传算法和约束规划的区别？
-
带有可选变量的搜索策略
-
如何在仅使用一次元素对的同时（有效地）生成不相交的集合？