README.md

article-small-circuits-database

This article describes the process used for generating a published data set that associates each boolean function (in a finite subset of all such functions) to one or more of the smallest logical circuits that correspond to that function.