Human-verifiable proofs in the theory of word-representable graphs

DOI10.1051/ITA/2024004arXiv2110.05405OpenAlexW4393194694MaRDI QIDQ6129083

Sergey Kitaev, Haoran Sun

Publication date: 16 April 2024

Published in: RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2110.05405

zbMATH Keywords

semi-transitive orientationShrikhande graphClebsch graphword-representable graphautomated proofnon-word-representability

Mathematics Subject Classification ID

Graph representations (geometric and intersection representations, etc.) (05C62)

This page was built for publication: Human-verifiable proofs in the theory of word-representable graphs