From a complexity theoretic viewpoint, how hard could ELK be? is there any evidence that ELK is decidable?
From a complexity theoretic viewpoint, how hard could ELK be? is there any evidence that ELK is decidable?