Both are non-deterministic, both have some metric to optimise, one is specific and efficient, the other is too broad and very expensive