Horn functions and submodular Boolean functions

From MaRDI portal
Publication:1392203