Fast minimization of Boolean functions with high minimality | IEEE Conference Publication | IEEE Xplore