go to ORKG: http://orkg.org/orkg/predicate/P15044

Heuristics & Simplif.