Formalization of Planar Graphs.

Mitsuharu Yamamoto Shin-ya Nishizaki Masami Hagiya Yozo Toda

Published in: TPHOLs (1995)

Keyphrases

planar graphs
special case

weighted graph
undirected graph

higher order

approximate inference