600.325/425 Declarative Methods - J. Eisner1 Satisfiability Generate-and-test / NP / NP-complete SAT, weighted MAX-SAT, CNF-SAT, DNF- SAT, 3-CNF-SAT, Tseitin,
