Papers & Talks: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
| (One intermediate revision by the same user not shown) | |||
| Line 1: | Line 1: | ||
Here are some busy beaver related papers and talks by bbchallenge community members: | Here are some busy beaver related papers and talks by bbchallenge community members: | ||
* Stérin, T., Woods, D. (2024). Hardness of Busy Beaver Value BB(15). In: Kovács, L., Sokolova, A. (eds) Reachability Problems. RP 2024. Lecture Notes in Computer Science, vol 15050. Springer, Cham. | * Stérin, T., Woods, D. (2024). Hardness of Busy Beaver Value BB(15). In: Kovács, L., Sokolova, A. (eds) Reachability Problems. RP 2024. Lecture Notes in Computer Science, vol 15050. Springer, Cham. https://doi.org/10.1007/978-3-031-72621-7_9 | ||
** Paper: [https://arxiv.org/abs/2107.12475 arxiv version] (first released in 2021), [https://link.springer.com/chapter/10.1007/978-3-031-72621-7_9 conference version] | ** Paper: [https://arxiv.org/abs/2107.12475 arxiv version] (first released in 2021), [https://link.springer.com/chapter/10.1007/978-3-031-72621-7_9 conference version] | ||
** Talk on September 25th 2024 at RP 2024 in Vienna: [https://drive.google.com/file/d/1gCoKCHvXGJeY7LvdQX9kN8u0ITdCKtJN/view?usp=sharing talk recording], [https://docs.google.com/presentation/d/1rVEMr-AJM_kTzdI95xT2KLux4G24AoTBBCYQoPk8vS0/edit#slide=id.g2d359b31dea_0_2125 talk slides] | ** Talk on September 25th 2024 at RP 2024 in Vienna: [https://drive.google.com/file/d/1gCoKCHvXGJeY7LvdQX9kN8u0ITdCKtJN/view?usp=sharing talk recording], [https://drive.google.com/file/d/1x3MRuKyh92XWlBHRawqDzxEdXIGSgsX_/view?usp=drive_link talk recording (compressed)], [https://docs.google.com/presentation/d/1rVEMr-AJM_kTzdI95xT2KLux4G24AoTBBCYQoPk8vS0/edit#slide=id.g2d359b31dea_0_2125 talk slides] | ||
* Xu, C. (2024). Skelet #17 and the fifth Busy Beaver number. [https://arxiv.org/abs/2407.02426 Arxiv preprint] | * Xu, C. (2024). Skelet #17 and the fifth Busy Beaver number. [https://arxiv.org/abs/2407.02426 Arxiv preprint] | ||
Latest revision as of 10:38, 1 October 2024
Here are some busy beaver related papers and talks by bbchallenge community members:
- Stérin, T., Woods, D. (2024). Hardness of Busy Beaver Value BB(15). In: Kovács, L., Sokolova, A. (eds) Reachability Problems. RP 2024. Lecture Notes in Computer Science, vol 15050. Springer, Cham. https://doi.org/10.1007/978-3-031-72621-7_9
- Paper: arxiv version (first released in 2021), conference version
- Talk on September 25th 2024 at RP 2024 in Vienna: talk recording, talk recording (compressed), talk slides
- Xu, C. (2024). Skelet #17 and the fifth Busy Beaver number. Arxiv preprint