The top documents tagged [forward checking heuristic]