Christian Frei Boi Faltings Resource Allocation and Constraint Satisfaction Techniques. 204-218 1999 conf/cp/1999 CP db/conf/cp/cp99.html#FreiF99