National Research Project: COFIN'01
- Project Title
Aggregate- and Number-Reasoning for Computing:
from Decision Algorithms to Constraint Programming
with Multisets, Sets, and Maps
Collaborative MURST Project between the universities of
Catania, L'Aquila e Parma (COFIN'01).
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.]