Intelligent variable orderings and re-orderings in DAC-based solvers for WCSP.

Federico Heras Javier Larrosa Intelligent variable orderings and re-orderings in DAC-based solvers for WCSP. 287-306 2006 12 J. Heuristics 4-5 http://dx.doi.org/10.1007/s10732-006-8248-z db/journals/heuristics/heuristics12.html#HerasL06