Title: Bridging Constraint Satisfaction and Boolean Satisfiability
Subjects: Artificial intelligence, Algebra, boolean, Computer science