keywords CONSTRAINT SATISFACTION Computer Science Computer Science, Theory & Methods Mathematics Mathematics, Interdisciplinary Applications Physical Sciences Science & Technology Technology