![/!\](/wiki/monikerGB/img/alert.png "/!\"){kind=small}
You should trust both wikis because the password could be read by the particular administrators.
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.