Szukana fraza: [Abstract = "The concept of arc\-consistency is bidirectional, i.e., it must be ensured in both directions of the constraint \(direct and inverse constraints\). Two of the most well\-known and frequently used arc\-consistency algorithms for filtering CSPs are AC3 and AC4. These algorithms repeatedly carry out revisions and require support checks for identifying and deleting all unsupported values from the domains. Nevertheless, many revisions are ineffective, i.e., they cannot delete any value and consume a lot of checks and time."]

Wyników: 1