Superdifferential cuts for binary energies | IEEE Conference Publication | IEEE Xplore