3 ms·
Much SAT. Such generating function. Algorithm W on page 79 (WalkSAT) is the workhorse. Lemma L and Algorithm M page 82 were my favorites.
by crb002 11y ago
Much SAT. Such generating function.
Algorithm W on page 79 (WalkSAT) is the workhorse.
Lemma L and Algorithm M page 82 were my favorites.