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

Sergey Kitaev Haoran Sun

Published in: RAIRO Theor. Informatics Appl. (2024)

Keyphrases

computational models
human subjects
equational theories
directed graph
graph matching
graph theoretic
cognitive psychology
co occurrence
computational model
n gram
graph representation
sentence level
general theory