cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

A303584 Number of inequivalent Krom functions on n variables (or 3SAT instances) under permuting and complementing variables.

Original entry on oeis.org

2, 3, 6, 22, 253, 37098, 109873815
Offset: 0

Views

Author

N. J. A. Sloane, May 13 2018

Keywords

References

  • Knuth, Donald E., Satisfiability, Fascicle 6, volume 4 of The Art of Computer Programming. Addison-Wesley, 2015, pages 148 and 220, Problem 191.

Crossrefs

Cf. A109459.

Started in 1964 by Neil J. A. Sloane | Maintained by The OEIS Foundation Inc.

Content is available under The OEIS End-User License Agreement.