1 citations · 1 across the 1 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2009★ 1 cited
On the Cooperation of the Constraint Domains H, R and FD in CFLP
S. Estévez-Martín, T. Hortalá-González, Rodríguez-Artalejo +3
This paper presents a computational model for the cooperation of constraint domains and an implementation for a particular case of practical importance. The computational model sup…
cs.PL2006
Constraint Functional Logic Programming over Finite Domains
Antonio J. Fernandez, Teresa Hortala-Gonzalez, Fernando Saenz-Perez +1
In this paper, we present our proposal to Constraint Functional Logic Programming over Finite Domains (CFLP(FD)) with a lazy functional logic programming language which seamlessly…