In this paper we propose a semantically well-founded combination of the constraint solvers used in the constraint programming languages CLP(SET) and CLP(FD). This work demonstrates that it is possible to provide efficient executions (through CLP(FD) solvers) while maintaining the expressive power and flexibility of the CLP(SET) language. We develop a combined constraint solver and we show how static analysis can help in organizing the distribution of constraints to the two constraint solvers.
Integrating Finite Domain Constraints and CLP with Sets / DAL PALU', Alessandro; A., Dovier; Rossi, Gianfranco. - (2003), pp. 219-229. (Intervento presentato al convegno 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming) [10.1145/888251.888272].
Integrating Finite Domain Constraints and CLP with Sets
DAL PALU', Alessandro;ROSSI, Gianfranco
2003-01-01
Abstract
In this paper we propose a semantically well-founded combination of the constraint solvers used in the constraint programming languages CLP(SET) and CLP(FD). This work demonstrates that it is possible to provide efficient executions (through CLP(FD) solvers) while maintaining the expressive power and flexibility of the CLP(SET) language. We develop a combined constraint solver and we show how static analysis can help in organizing the distribution of constraints to the two constraint solvers.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
