Efficient propagation techniques for handling cyclic symmetries in binary programs

From MaRDI portal
Publication:6580561