Define in your own words the terms constraint, commutativity, arc consistency, backjumping, min-conflicts, and cycle cutset.