April 21 Homework 11 [ flac-hw11.pdf | flac-hw11.tex ] Hint for exercise 7.23a (CNF SAT problems in which each variable occurs at most twice): Consider resolution : (∃x. (x ∧ A) ∨ (¬x ∧ B)) = (A ∨ B). Hint for exercise 7.12 (modular exponentiation): Wikipedia article . Solution: pdf Thu