Luis Perez Sanchez: Artificial Intelligence Techniques for Automatic Reformulation and Solution of Structured Mathematical Models. University of Pisa, Italy 2010