Improvements of Symmetry Breaking During Search