TAOCP 7.2.2.2 Exercise 309

Section 7.2.2.2: Satisfiability

Exercise 309. [20] Exercise 293 explains how to use the reluctant doubling sequence with Algorithm C. Is Algorithm C a Las Vegas algorithm?

Verified: no
Solve time: 9m33s