An Increasing-Nogoods Global Constraint for Symmetry Breaking During Search 翻译（二）

因此，我们从开始检查剩余nogoods的LHS。 为了将剩余的increasing nogoods 的简化版本转换为简化形式，使用两个指针和来索引具有以下条件的3个列表。 指针用于根据条件（ii）找到由生成的最短nogood。 如果生成了新的nogood，则使用来检查是否存在可以根据定理7生成的额外nogood并找到最后生成的nogood。如果可以生成额外的nogoods，则设置为。 最初，被设置

>>阅读原文<<