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