Automating the Generation of Programs Maximizing the Repeatable Constant Switching Activity in Microprocessor Units via MaxSAT | IEEE Journals & Magazine | IEEE Xplore