Project Description
COR: Constraint-based computation in Robotic and Resource allocation
Research
Main Researcher: 
Pedro Meseguer
Funding Entity: 
TAP 1999-1086-C03
Date: 
01/01/2000 - 31/12/2002

The current project will tackle four applications involving nonhomogeneous constraints: the management and control of operations in distribution networks, scheduling, routing in a multi-vehicle setting, and mechanical design based on kinematic constraints. From the analysis of these applications, the most suitable combination of techniques to deal with each of them, as well as the required extensions to the basic techniques, will be determined. Some of the envisaged extensions are: the processing of n-ary constraints, symmetry exploitation, the introduction of duration constraints, and the dynamization of algorithms to permit adding constraints on line.

List of papers: