Enviar aquest missatge de text: Bridging Constraint Satisfaction and Boolean Satisfiability