OFFSET
1,3
LINKS
A. Biswas and P. Sarkar, Counting unate and balanced monotone Boolean functions, arXiv:2304.14069 [math.CO], 2023.
Lennart Van Hirtum, A path to compute the 9th Dedekind Number using FPGA Supercomputing
CROSSREFS
KEYWORD
nonn,hard,more
AUTHOR
Aniruddha Biswas, Apr 04 2024
EXTENSIONS
a(7) from Aniruddha Biswas, May 12 2024
STATUS
approved