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]
@inproceedings{FishV18,
title = {Towards Human Readability of Automated Unknottedness Proofs},
author = {Andrew Fish and Alexei Lisitsa and Alexei Vernitski},
year = {2018},
url = {http://ceur-ws.org/Vol-2261/paper5.pdf},
researchr = {https://researchr.org/publication/FishV18},
cites = {0},
citedby = {0},
pages = {27-32},
booktitle = {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},
editor = {Claudia Schon},
volume = {2261},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}