Towards Human Readability of Automated Unknottedness Proofs.

Andrew Fish, Alexei Lisitsa, Alexei Vernitski

Browse the full IJCAI paper archive.