Integrating finite domain constraints and CLP with sets

Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi. Integrating finite domain constraints and CLP with sets. In Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 27-29 August 2003, Uppsala, Sweden. pages 219-229, ACM, 2003. [doi]

Abstract

Abstract is missing.