Login / Signup

Hadwiger's conjecture is decidable.

Ken-ichi KawarabayashiBruce A. Reed
Published in: STOC (2009)
Keyphrases
  • first order logic
  • datalog programs
  • function symbols
  • metadata
  • expert systems
  • linear time temporal logic