scientific article
From MaRDI portal
Publication:3822179
zbMath0669.05022MaRDI QIDQ3822179
J. Scott Provan, Michael O. Ball
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Polynomial-time inference of all valid implications for Horn and related formulae ⋮ Interior and exterior functions of Boolean functions ⋮ Inner-core and outer-core functions of partially defined Boolean functions ⋮ Note on recognition of matroid systems ⋮ Tree-shellability of Boolean functions ⋮ Efficient enumeration of the vertices of polyhedra associated with network LP's ⋮ Logical analysis of binary data with missing bits
