Backward Reasoning

From BusyBeaverWiki
Jump to navigation Jump to search

See Section 4 of bbchallenge's deciders write-up.