LP2MIP

Team

• Guohua Liu (Aalto University)
• Tomi Janhunen (Aalto University)
• Ilkka Niemelä (Aalto University)

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:

• GRINGO 3.0.4 --shift
• SMODELS 2.34 -internal -nolookahead
• LP2MIP 1.18
• CPLEX 12.5.0.0 (set threads 1)

The input language of LP2MIP is Gringo 3.

References

• Participant URL.

• Guohua Liu and Tomi Janhunen and Ilkka Niemelä, Answer Set Programming via Mixed Integer Programming, International Conference on the Principles of Knowledge Representation and Reasoning, 32-42, 2012.