Arc consistency algorithm AC-3
n
Time complexity: O(n
2
d
3
)
