Cognitively Plausible Heuristics to Tackle the Computational Complexity of Abductive Reasoning