Searching the Best (Formulation, Solver, Configuration) for Structured Problems. - Antonio Frangioni; Luis Perez Sanchez (CSDM, 2010)

I-DARE: Intelligence-Driven Automatic Reformulation Engine. - Antonio Frangioni; Luis Perez Sanchez (ERCIM News, 2010)

Artificial Intelligence Techniques for Automatic Reformulation and Solution of Structured Mathematical Models. - Luis Perez Sanchez (2010)

Transforming Mathematical Models Using Declarative Reformulation Rules. - Antonio Frangioni; Luis Perez Sanchez (LION, 2011)