Szukana fraza: [Abstract = "In this paper, we present AC4\-OP, an optimized version of AC4 that manages the binary and non\-normalized constraints in only one direction, storing the inverse founded supports for their later evaluation. Thus, it reduces the propagation phase avoiding unnecessary or ineffective checking. The use of AC4\-OP reduces the number of constraint checks by 50% while pruning the same search space as AC4. The evaluation section shows the improvement of AC4\-OP over AC4, AC6 and AC7 in random and non\-normalized instances."]

Wyników: 1