An efficient technique for obtaining unate implementation of functions through input encoding

From MaRDI portal
Publication:4332007