Sciweavers

Share
AICOM
2004

A Generic, Collaborative Framework for Interval Constraint Solving

9 years 7 months ago
A Generic, Collaborative Framework for Interval Constraint Solving
The paper abstracts the contents of a PhD dissertation entitled A Generic, Collaborative Framework for Interval Constraint Solving which has been recently defended. This thesis presents a generic framework for defining and solving interval constraints on any set of domains (finite or infinite) that are lattices. This framework combines a number of characteristics desirable in any constraint system such as transparency, on both constraints and computation domains (i.e., it follows a glass box approach where new constraints can be user defined and new, possibly compound, constraint domains can be constructed from existing domains using lattice combinators), cooperativity (so that different solvers, possibly on distinct domains, can communicate and hence, cooperate in solving a problem) and genericity (i.e., it can be applied on any computation domain with lattice structure).
Antonio J. Fernández
Added 16 Dec 2010
Updated 16 Dec 2010
Type Journal
Year 2004
Where AICOM
Authors Antonio J. Fernández
Comments (0)
books