Văn bản này: Bridging Constraint Satisfaction and Boolean Satisfiability