A polynomial Time Delta-Decomposition algorithm for positive DNFs

From MaRDI portal
Publication:2330570