Declarative programming with set and multiset constraints 

Financial support: M.U.R.S.T. Co-financed project
Part of the National project:
     "Automatic Aggregate - and number-reasoning for computing:
      from decision algorithms to constraint programming with multisets, sets, and maps"
National project coordinator: Domenico Cantone, Università di Catania
Local project coordinator: Gianfranco Rossi, Università di Parma
Period: Nov. 2001 - Nov. 2003

Project home page

Local Members of the project:

Project description: Report on first year activities (in Italian)

Final report (in Italian) (NOT AVAILABLE YET)