CoSearch
Massively Collaborative Research
bbchallenge logo
The Busy Beaver Challenge

Backward Reasoning (BR)

Mar 2022 · Tristan Stérin ,Milo Mighdoll ,atticuscull ,Tony Guilfoyle ,Shawn Ligocki
Featured Links
Github https://github.com/bbchallenge/bbchallenge-deciders/tree/main/decider-backward-reasoning
Chat about it https://discord.com/channels/960643023006490684/1028745612121870377
Forum Link https://discuss.bbchallenge.org/t/decider-backward-reasoning/35
Write-up (Section 4) https://github.com/bbchallenge/bbchallenge-proofs/blob/build-latex-pdf/deciders/correctness-deciders.pdf
Description

Method described in [[Marxen and Buntrock, 1989]](https://turbotm.de/~heiner/BB/mabu90.html#Nontermination)