Automatic discovery of heuristics for non-deterministic programs | lit.salon