Andrew Fish, Alexei Lisitsa, Alexei Vernitski. Towards Human Readability of Automated Unknottedness Proofs. In Claudia Schon, editor, Proceedings of the fourth Workshop on Bridging the Gap between Human and Automated Reasoningco-located with the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI 2018), Stockholm, Schweden, July 14, 2018. Volume 2261 of CEUR Workshop Proceedings, pages 27-32, CEUR-WS.org, 2018. [doi]
Abstract is missing.