[gecode-users] Branching on domain size and picking constraints

[Peter Vanhee]

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