Bit-Level Optimized Constant Multiplication Using Boolean Satisfiability | IEEE Journals & Magazine | IEEE Xplore