W00-1431 of the algorithm , and using a minimum constraint propagation technique . Combination + stylistic
W00-1431 RO , in particular RI . 3.4.2 Minimum constraint propagation : controlling the backtracking
hide detail