Solving Computational Problems in the Theory of Word-Representable Graphs.

Özgür Akgün Ian P. Gent Sergey Kitaev Hans Zantema

Published in: J. Integer Seq. (2019)

Keyphrases

computational problems
propositional theories
constraint satisfaction problems
reasoning tasks
exact algorithms
theoretical framework
constraint satisfaction
bayesian networks