TY  - RPRT
TI  - Human-verifiable proofs in the theory of word-representable graphs
AU  - Sergey Kitaev
AU  - Haoran Sun
PY  - 2023
UR  - https://arxiv.org/abs/2110.05405
ID  - 2110.05405
ER  -