next up previous contents
Next: Backtracking and Lemmas Up: SBSAT User Manual and Previous: User defined search heuristic   Contents

Reference - Search methods



Subsections

John Franco 2011-09-15