OFFSET
1,3
REFERENCES
Donald E. Knuth, The Art of Computer Programming, Vol. 4, Pre-Fascicle 6A, Section 7.2.2.2, Problem 178, page 54.
Donald E. Knuth, Satisfiability, Fascicle 6, volume 4 of The Art of Computer Programming. Addison-Wesley, 2015, page 160, Problem 310; see solution on page 246.
CROSSREFS
KEYWORD
nonn,more
AUTHOR
N. J. A. Sloane, Aug 03 2012
STATUS
approved