CMT Lab Logo


Constraint-based Methods and Technologies Laboratory


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

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