[go: up one dir, main page]
login
The OEIS is supported by the many generous donors to the OEIS Foundation.
Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A303584
Number of inequivalent Krom functions on n variables (or 3SAT instances) under permuting and complementing variables.
0
2, 3, 6, 22, 253, 37098, 109873815
(list; graph; refs; listen; history; text; internal format)
OFFSET
0,1
REFERENCES
Knuth, Donald E., Satisfiability, Fascicle 6, volume 4 of The Art of Computer Programming. Addison-Wesley, 2015, pages 148 and 220, Problem 191.
LINKS
Table of n, a(n) for n=0..6.
CROSSREFS
Cf. A109459.
Sequence in context: A015759 A260562 A173249 * A261014 A000616 A233217
Adjacent sequences: A303581 A303582 A303583 * A303585 A303586 A303587
KEYWORD
nonn,more
AUTHOR
N. J. A. Sloane, May 13 2018
STATUS
approved

Lookup Welcome Wiki Register Music Plot 2 Demos Index WebCam Contribute Format Style Sheet Transforms Superseeker Recents
The OEIS Community
Maintained by The OEIS Foundation Inc.
Last modified November 6 06:47 EST 2024. Contains 377502 sequences.
License Agreements, Terms of Use, Privacy Policy