On the cooperation of the constraint domains , R, and F in CFLP

Abstract

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 supports declarative programming with lazy and possibly higher-order functions, predicates, and the cooperation of different constraint domains equipped with their respective solvers… (More)
DOI: 10.1017/S1471068409003780

Topics

16 Figures and Tables

Slides referencing similar topics