Keywords: Path-consistency-2.svg Two variables not in a constraint are virtually in a constraint allowing any possible pair of value However when checking path consistency one edge is removed leading to Image Path-consistency-3 svg Constraint satisfaction 2006-02-11 own assumed Tizio |