Constructing Binary Sequences With Good Correlation Properties: An Efficient Analytical-Computational Interplay | IEEE Journals & Magazine | IEEE Xplore