Comparing the use of symmetry in constraint processing and model checking