Arc-Consistency + Unit Propagation = Lookahead.

Jia-Huai You, Guiwen Hou

Browse the full ICLP paper archive.