Sign In
 
 
 
New ItemNew Item

Full name

Luis Perez Sanchez 

Title

I-DARE: Intelligence-Driven Automatic Reformulation Engine 

Start Time

09:30 

Location

Gerace 

Abstract

Complex, hierarchical, multi-scale industrial and natural systems generate increasingly large mathematical models. Practitioners are usually able to formulate such models in their "natural" form; however, solving them often requires finding an appropriate reformulation to reveal structures in the model which make it possible to apply efficient, specialized approaches. I-DARE is a structure-aware modeling-reformulation-solving environment based on Declarative Programming. I-DARE tackles the construction of complex structured models, gives the basis for reformulating them and finally solve them. In this presentation we will briefly define the modeling, data representation, reformulation and solution parts of I-DARE.

Keywords

optimization, structured modeling, frame logic 

Supervisor(s)

Antonio Frangioni 

Notes

 

Session

Attachments
I-DARE_Luis-Perez-Sanchez_Presentation.pdf    
Created at 8/14/2009 6:41 PM  by  
Last modified at 8/31/2009 12:35 PM  by Cristian Dittamo