Keywords: Dead-ends-2.svg The sequel to Image Dead-ends-1 svg the points of inconsistency are analyzed and prefixes of the current partial solution that still make them inconsistent are marked Backjumping to x_ k-1 can be done safely 2006-02-08 own assumed Tizio Constraint satisfaction |