3 works on record
Complexity classifications of Boolean constraint satisfaction problems
Complexity of Constraints
2008
Theory and Applications of Satisfiability Testing SAT 2016