Approximate Logic Synthesis Using Boolean Matrix Factorization | IEEE Journals & Magazine | IEEE Xplore