Participation on completed projects

• PRACTIC - Processing and Reuse of Advanced Computational Techniques to Improve Constraint Solving
  Started in 2005 and was concluded in December 2007
  Pedro Barahona, Francisco Azevedo, Marco Correia, Ruben Viegas