On Fast Heuristic Non-Deterministic Algorithms and Short Heuristic Proofs

Fundamenta Informaticae - Netherlands
doi 10.3233/fi-2014-1036