A Choice Function to Dynamic Selection of Enumeration Strategies Solving Constraint Satisfaction Problems | IEEE Conference Publication | IEEE Xplore