About the use of local consistency in solving CSPs | IEEE Conference Publication | IEEE Xplore