next up previous contents
Next: BDD WalkSAT Up: Backtracking and Lemmas Previous: Lemma cache   Contents


Lemma effectiveness



John Franco 2011-09-15