See: Algorithm, Constraint Satisfaction Algorithm, Satisfiability Task, Boolean Satisfiability Algorithm, 3SAT Algorithm.