CMT Lab

Dipartimento di Matematica
Universita' degli Studi di Parma
Viale G.P. Usberti 53/A
43100 Parma
Italy

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