Heuristics
Type : Selection
Range : The settings listed below
Default : On
This option can be used to switch on or off all heuristics. Then you can set individual ones off or on. The local tree heuristic is not included as it dramatically alters the search. Possible values are:
Off
On
Learn more about