Much SAT. Such generating function. Algorithm W on page 79 (WalkSAT) is the work...

		crb002 on July 3, 2015 \| parent \| context \| favorite \| on: Current draft of The Art of Computer Programming p... Much SAT. Such generating function. Algorithm W on page 79 (WalkSAT) is the workhorse. Lemma L and Algorithm M page 82 were my favorites.