Project Description
COR: Constraint-based computation in Robotic and Resource allocation
Recerca
Investigador Principal: 
Pedro Meseguer
Entitat financera: 
TAP 1999-1086-C03
Data: 
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: