Conclusions Best for intermediate tightness requires fewer labeling steps than CP better results than pure ACO Runtime tradeoff not entirely clear propagation can be costly backtracking should be exploited
{}