Hi all, I am wondering if a branching strategy can combine both
- variable picking according to their domain size (smallest first), can be done using INT_VAR_SIZE_MIN - constraint picking, e.g. to chose the binary constraint attached to that variable that connects with a variable with a small domain as well As an example, I have variables x, y & z, and domain sizes like x=10 y=10 z=1000. Binary constraints are like x-y and x-z. My branching strategy picks a random variable of x and then ideally would first propagate this change to the domain of y. However, I saw it propagates to z first. How can this be influenced, i.e. how can the constraint x-y be forced to run before x-z, on the basis that y has a smaller domain than z? Thanks in advance! Peter _______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
