Login / Signup
Hadwiger's conjecture is decidable.
Ken-ichi Kawarabayashi
Bruce A. Reed
Published in:
STOC (2009)
Keyphrases
</>
first order logic
datalog programs
function symbols
metadata
expert systems
linear time temporal logic