Boris Okner

Large Neighborhood Search.

As of now, the binding of propagators to space variables happens before propagation starts. Either: - eliminate binding (possibly by associating propagator variables to variable nodes of the constraint graph);...