#acl EditorsGroup:read,write,delete,revert,admin All:read

= 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 [[http://research.ics.aalto.fi/software/asp/mingo|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.