The Satisfiability Problem Regarded as a Constraint Satisfaction Problem