Logic functions minimization algorithm based on recognition of essential prime implicants | IEEE Conference Publication | IEEE Xplore