Intelligent variable orderings and re-orderings in DAC-based solvers for WCSP | Publicación