Maintaining AC (MAC)
Like any other propagation, we can use AC in search
I.e. search proceeds as follows:
- establish AC at the root
- when AC3 terminates, choose a new variable/value
- re-establish AC given the new variable choice (I.e. maintain AC)
- repeat;
- backtrack if AC gives domain wipe out
The hard part of implementation is undoing effects of AC