Efficient Propagation Techniques for Handling Cyclic Symmetries in Binary Programs - BizPub.ai