Optimum Anytime Bounding for Constraint Optimization Problems Simon de Givry and G rard Verfaillie