An Algorithm for Testing Asummability of Boolean Functions

From MaRDI portal
Publication:4766906