constraint-satisfaction-problems