On the hardness of knowing busy beaver values BB(15) and BB(5, 4).

Tristan Stérin Damien Woods

Published in: CoRR (2021)

Keyphrases

control architecture
relational databases
expert systems
autonomous agents
parameter values