probably wrong evaluation
A content ERROR was logged by "Florian Deublein" at the following url:
https://courses.voll-ki.fau.de/quiz/quiz-f7a23040
The issue as described by the user:
isn't arc consistency guaranteed to give us nothing worse than the same network? If so, the resulting (possibly same) network is tighter than the input (possibly itself) (sure, a network is not strictly tighter than itself, but that's not what was asked for)
The text highlighted while reporting this issue:
Problem 3