constraint-programming
-
按 2D 属性 排列块而不重叠
-
为什么我必须使用 core.CreateIntVarFromTo 才能让这个数独解算器工作？
-
Minizinc 中回文的高效谓词
-
如何使用混合数据类型执行约束求解？
-
这可以用整数规划或约束规划来表达吗？
-
Minizinc - 如何限制数组的每一列只包含给定整数中的一个？
-
Minizinc：如何将此约束应用于调度模型？
-
Minizinc：if-then-else 语句中的数组赋值问题
-
使用 clojure 的 core.logic / minikanren 查找相似集
-
Java Choco CSP 使用变量总和进行优化
-
自定义 GeCode 传播器没有得到安排
-
Choco 在不应该的情况下强制变量为真
-
使用 Python 约束解析器求解 N-Queens
-
Prolog CLPFD 试图为列表的列表定义域
-
规划推理与约束求解的区别
-
使用约束逻辑对食谱和可用成分进行建模
-
Prolog - 如何找到其总和等于 N 的最大元素集