Seol É Seo mar Theachtaireacht Téacs: Bridging Constraint Satisfaction and Boolean Satisfiability