login
The OEIS is supported by the many generous donors to the OEIS Foundation.

 

Logo
Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A109459 Number of inequivalent Krom functions on n variables (or 2SAT instances) under permuting and complementing variables. 2
2, 3, 6, 14, 45, 196, 1360, 15631 (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
CROSSREFS
See A109457 for definitions and references.
Sequence in context: A056569 A094468 A091285 * A118986 A091138 A335260
KEYWORD
nonn,hard,more
AUTHOR
Don Knuth, Aug 24 2005
STATUS
approved

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recents
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified July 18 12:17 EDT 2024. Contains 374378 sequences. (Running on oeis4.)