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

因此，我們從開始檢查剩餘nogoods的LHS。 爲了將剩餘的increasing nogoods 的簡化版本轉換爲簡化形式，使用兩個指針和來索引具有以下條件的3個列表。 指針用於根據條件（ii）找到由生成的最短nogood。 如果生成了新的nogood，則使用來檢查是否存在可以根據定理7生成的額外nogood並找到最後生成的nogood。如果可以生成額外的nogoods，則設置爲。 最初，被設置

>>阅读原文<<