Foundations of constraint satisfaction | lit.salon