welcome: please sign in

You can't save spelling words.

Clear message
location: Participants\LP2MIP

LP2MIP

Team

Description

A given ASP program is grounded by GRINGO and the ground program is simplified by SMODELS, then the simplified program is translated to a mixed integer program using LP2MIP, and finally, the mixed integer program is solved CPLEX.

System Settings

The main modules and option flags are:

The input language of LP2MIP is Gringo 3.

References

ASP Competition 2013: Participants\LP2MIP (last edited 2013-05-23 22:19:39 by FrancescoCalimeri)