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:

• Roberto Alfieri
• Roberto Bagnara
• Agostino Dovier
• Gianfranco Rossi
• Enea Zaffanella

• Global (in Italian)
• Local - University of Parma (summary (in Italian); full document)

Final report (in Italian) (NOT AVAILABLE YET)