|
The COMIC multi-site research group focuses on many aspects of modelling in
constraints. This includes, but not restricted to:
- Global
Constraints: Global (or non-binary) constraints are one of the most
important and powerful aspects of constraint programming systems. Our work
lies within the design and implementation of dedicated propagation
algorithms for global constraints so as to achieve efficient and effective
constraint solving.
- Computational
Complexity: Our aim is to study the computational complexity of
reasoning with global constraints. We demonstrate the usage of
computational complexity in the design and analysis of specific global
constraints.
The COMIC brings together members of COconut and the miMIC groups. .
|
