You can create a release to package software, along with release notes and links to binary files, for other people to use. Learn more about releases in our docs.

Abstract: The problem of counting all inequivalent monotone Boolean functions of nine variables is considered. We solve the problem using known algorithms and deriving new ones when necessary. We ...

THE exposition of a mathematical subject in its early stages of development is apt to require a bulky volume; the appearance of this concise treatise, covering so much ground, would consequently ...