1 citations · 1 across the 1 of their papers we have counts for
3 papers
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…
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…
Branching: the Essence of Constraint Solving
Antonio J. Fernandez, Patricia M. Hill
This paper focuses on the branching process for solving any constraint satisfaction problem (CSP). A parametrised schema is proposed that (with suitable instantiations of the param…