Leveraging the Learning Power of Examples in Automated Constraint Acquisition