National Research Project: COFIN'01

Project Title

Aggregate- and Number-Reasoning for Computing: from Decision Algorithms to Constraint Programming with Multisets, Sets, and Maps

Kind

Collaborative MURST Project between the universities of Catania, L'Aquila e Parma (COFIN'01).

Period

November 2001 - November 2003.

National Coordinator

Prof. Domenico Cantone.

Local Project Title

Declarative Programming with Set and Multiset Constraints

Local Coordinator

Prof. Gianfranco Rossi.

Local Members

Dr. Roberto Alfieri
Prof. Roberto Bagnara
Prof. Agostino Dovier
Prof. Gianfranco Rossi
Dr. Enea Zaffanella

[Page last updated on January 24, 2005, 09:37:06.]