Courcelle's theorem for triangulations.

Benjamin A. Burton Rodney G. Downey

Published in: J. Comb. Theory, Ser. A (2017)

Keyphrases

real time
search algorithm
pattern recognition
probabilistic model
single image
fixed point