Dipartimento di Matematica
Universita' degli Studi di Parma
Viale G.P. Usberti 53/A
How to reach CMT Lab
About CMT Lab
The mission of the Constraint-based Methods and Technologies Laboratory (CMT Lab)
is to develop basic and applied research on all facets of constraint-based programming.
CMT Lab was extablished within the Department of Mathematics of the
University of Parma in 2008 and counts today a number of permanent researchers, temporary research assistants and students.
Main subjects of research include
- Constraint-based declarative programming and constraint logic programming
- Set constraints
- Finite domain constraints
- Constraint satisfaction techniques
- Constraints for Configuration problems