Global difference constraint propagation for finite domain solvers

Thibaut Feydy, Andreas Schutt, Peter J. Stuckey. Global difference constraint propagation for finite domain solvers. In Sergio Antoy, Elvira Albert, editors, Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 15-17, 2008, Valencia, Spain. pages 226-235, ACM, 2008. [doi]

Abstract

Abstract is missing.