next up previous contents
Next: Reference - Search methods Up: Reference - Search heuristics Previous: Chaff-like   Contents


User defined search heuristic



John Franco 2011-09-15