Node- and arc-consistency