Global Difference Constraint Propagation for Constraint Programming | Digital Library | PAMCET | PAMCET