'Lozenge' Lemma (extended ... Use 'lozenge lemma' to get. from u to u', and v to v' on ... vertex and use 'lozenge lemma' to take. K-step detours around empty ...
... domain of a variable corresponds to a branch of the search tree that is pruned. ... by using constraint propagation to prune the search space, instead of using the ...