One-Bit Symbol-Level Precoding for MU-MISO Downlink With Intelligent Reflecting Surface | IEEE Journals & Magazine | IEEE Xplore