https://fizzbee.io/design/tutorials/symmetry_reduction/
Symmetry Reduction | FizzBee
Jan 1, 1 - Symmetry reduction is a technique used in model checking to reduce the state space of a model by exploiting symmetries in the model. This works, but the...
symmetry reductionfizzbee