The Art of Computer Programming: Satisfiability, Volume 4, Fascicle 6

Index to Algorithms and Theorems

Algorithm 7.2.2.2A, 28–29, 208.

Algorithm 7.2.2.2A*, 208–209.

Algorithm 7.2.2.2B, 31.

Lemma 7.2.2.2B, 58.

Theorem 7.2.2.2B, 59.

Algorithm 7.2.2.2C, 68.

Theorem 7.2.2.2C, 52–54.

Algorithm 7.2.2.2D, 33–34.

Algorithm 7.2.2.2E, 176.

Corollary 7.2.2.2E, 113.

Theorem 7.2.2.2E, 111.

Algorithm 7.2.2.2F, 205.

Theorem 7.2.2.2F, 86.

Theorem 7.2.2.2G, 70.

Algorithm 7.2.2.2I, 61.

Theorem 7.2.2.2J, 82.

Algorithm 7.2.2.2K, 216–217.

Theorem 7.2.2.2K, 90.

Algorithm 7.2.2.2L, 38–39.

Algorithm 7.2.2.2L′, 212.

Lemma 7.2.2.2L, 82.

Theorem 7.2.2.2L, 82.

Algorithm 7.2.2.2M, 82–83.

Theorem 7.2.2.2M, 83.

Algorithm 7.2.2.2P, 77.

Algorithm 7.2.2.2P′, 241.

Program 7.2.2.2P′, 242.

Algorithm 7.2.2.2R, 146.

Theorem 7.2.2.2R, 56.

Algorithm 7.2.2.2S, ...