External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Towards Human Readability of Automated Unknottedness Proofs

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]

Authors

Andrew Fish

This author has not been identified. Look up 'Andrew Fish' in Google

Alexei Lisitsa

This author has not been identified. Look up 'Alexei Lisitsa' in Google

Alexei Vernitski

This author has not been identified. Look up 'Alexei Vernitski' in Google
runs on