Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
A109458
Number of inequivalent Krom functions on n variables (or 2SAT instances) under permutations of variables.
1
2, 4, 12, 48, 308, 3028, 49490, 1350894, 62154403
OFFSET
0,1
REFERENCES
D. E. Knuth, The Art of Computer Programming, Vol. 4A, Section 7.1.1, p. 79.
CROSSREFS
See A109457 for definitions and references.
Sequence in context: A372145 A082480 A093934 * A375516 A030963 A030879
KEYWORD
nonn,hard,more
AUTHOR
Don Knuth, Aug 24 2005
STATUS
approved