The number of 3-SAT functions
scientific article