Lines Matching refs:heuristics
406 heuristics, put all the variables in the same elimination group. The
