Light Integration of Path Consistency for Solving CSPs | IEEE Conference Publication | IEEE Xplore