welcome: please sign in
location: Participants\LP2MIP-mt

LP2MIP-mt

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 by CPLEX.

System Settings

The main modules and option flags are:

The input language of LP2MIP is Gringo 3.

References

ASP Competition 2013: Participants\LP2MIP-mt (last edited 2013-05-29 00:45:04 by FrancescoCalimeri)