Intelligent variable orderings and re-orderings in DAC-based solvers for WCSP
| Year of publication: |
2006
|
|---|---|
| Authors: | Heras, Federico ; Larrosa, Javier |
| Published in: |
Journal of heuristics. - Norwell, Mass. [u.a.] : Springer Science + Business Media, ISSN 1381-1231, ZDB-ID 13339746. - Vol. 12.2006, 4, p. 287-306
|