On acceleration of logic circuits optimization using implication relations | IEEE Conference Publication | IEEE Xplore