A LOGIC LANGUAGE FOR COMBINATORIAL OPTIMIZATION. - Van Hentenryck, Pascal (Annals of Operations Research, 1989)