OFFSET
1,2
REFERENCES
E. Detjens, G. Gannot, R. Rudell, A. Sangiovanni-Vincentelli, and A. Wang, "Technology Mapping in MIS", Proc. 1987 IEEE Internat. Conf. Computer-Aided Design, pp. 116-119.
LINKS
Andrew Howroyd, Table of n, a(n) for n = 1..60
FORMULA
a(n) = 2*A391487(n) - 1. - Andrew Howroyd, Dec 17 2025
CROSSREFS
KEYWORD
nonn
AUTHOR
Michel Berkelaar (michelb(AT)watson.ibm.com)
STATUS
approved
