Login / Signup

Proof of a conjecture of Plummer and Zha.

Maria ChudnovskyPaul D. Seymour
Published in: J. Graph Theory (2023)
Keyphrases
  • theorem proving
  • computer vision
  • theorem prover
  • real time
  • social networks