1
Wikipedia states
A constraint satisfaction problem may be relationally consistent, have
no empty domain or unsatisfiable constraint, and yet be unsatisfiable.
There are however some cases in which this is not possible.
The first case is that of strongly relational
m-consistent prob...