constraint-satisfaction
-
用 6 种颜色填充 6x6 网格，且相同颜色彼此不接触
-
如何在 C++ 中使用约束满足来实现 Cryptarithmetic
-
K-一致但不是强 K-一致
-
线性 Sat Unsat 与线性 Unsat Sat
-
如何在研究中展示 MiniZinc 的效率
-
Pulp Killer 数独 - 检查选项对于变量的选择是不同的
-
弧一致性的例子并不意味着可满足性
-
使约束求解器更难解决约束？
-
将 M 个实验分配给 N 个实验室，同时遵守约束条件
-
在OptaPlanner中，如何限制一个事实分配给一个实体的次数？
-
求图CSP中回溯的次数
-
学习序言，数独求解器
-
让 Prolog 给出算术的所有可能性
-
了解 MinConflicts 算法
-
建模：高效建模子集选择
-
斑马拼图 - C 中的约束满足
-
如何使用混合数据类型执行约束求解？
-
AC-1、AC-2 和 AC-3 算法（弧相容性）