The monadic second-order logic of graphs XII: planar graphs and planar maps.

Bruno Courcelle

Published in: Theor. Comput. Sci. (2000)

Keyphrases

planar graphs
max cut
monadic second order logic
expressive power
approximate inference
undirected graph
tree automata
minimum weight
relational databases
hidden markov models
graphical models
regular expressions
weighted graph
data complexity