welcome: please sign in
location: Diff for "Participants\LP2MIP"
Differences between revisions 1 and 2
⇤ ← Revision 1 as of 2013-05-23 22:17:36 →
Size: 997
Editor: FrancescoCalimeri
Comment:
← Revision 2 as of 2013-05-23 22:19:39 → ⇥
Size: 985
Editor: FrancescoCalimeri
Comment:
Deletions are marked like this. Additions are marked like this.
Line 24: Line 24:
 * 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.		  * 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.

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.

Fifth Answer Set Programming Competition (ASPCOMP 2014): Participants\LP2MIP (last edited 2013-05-23 22:19:39 by FrancescoCalimeri)