On the Computability of the Ninth Dedekind Number

with Po Hao Chen

IEEE URTC 2022