13 citations · 13 across the 1 of their papers we have counts for
1 paper
John Faben
Generalised Satisfiability Problems (or Boolean Constraint Satisfaction Problems), introduced by Schaefer in 1978, are a general class of problem which allow the systematic study o…