Problems of constraint programming