Satisfiability Solvers
Hard and Easy Distributions of SAT Problems