GAC Via Unit Propagation. Bacchus, F. In Proceedings of the 13th International Conference on Principles and Practice of Constraint Programming (CP-2007), pages 133-147, 2007.
GAC Via Unit Propagation [pdf]Paper  GAC Via Unit Propagation [link]Link  bibtex   

Downloads: 0