Symmetry Propagation: Improved Dynamic Symmetry Breaking in SAT | IEEE Conference Publication | IEEE Xplore