Login / Signup

Unprovability threshold for the planar graph minor theorem.

Andrey Bovykin
Published in: Ann. Pure Appl. Log. (2010)
Keyphrases
  • planar graphs
  • approximate inference
  • optimal solution