A Method for the Fast Approximate Solution of Large Prime Implicant Charts | IEEE Journals & Magazine | IEEE Xplore