A new algorithm for the binate covering problem and its application to the minimization of Boolean relations | IEEE Conference Publication | IEEE Xplore