Stav dette: Bridging Constraint Satisfaction and Boolean Satisfiability