OFFSET
3,1
REFERENCES
Knuth, Donald E., Satisfiability, Fascicle 6, volume 4 of The Art of Computer Programming. Addison-Wesley, 2015, page 5.
CROSSREFS
KEYWORD
nonn,more
AUTHOR
N. J. A. Sloane, May 13 2018
STATUS
approved