Login / Signup

Formalization of Planar Graphs.

Mitsuharu YamamotoShin-ya NishizakiMasami HagiyaYozo Toda
Published in: TPHOLs (1995)
Keyphrases
  • planar graphs
  • special case
  • weighted graph
  • undirected graph
  • higher order
  • approximate inference