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
• PROTEIN - Improving Constraint Solving to Predict Protein Structure
  Started in 2000 and was concluded in 2003
  Pedro Barahona, Ludwig Kripphal, Jorge Cruz, Marco Correia