welcome: please sign in
location: Diff for "Participants/Aalto_lp2sat2gminisat"
Differences between revisions 4 and 5
⇤ ← Revision 4 as of 2011-05-22 08:18:40 →
Size: 675
Editor: FrancescoCalimeri
Comment:
← Revision 5 as of 2011-05-23 08:01:56 → ⇥
Size: 804
Editor: CarmenSantoro
Comment:
Deletions are marked like this. Additions are marked like this.
Line 18: Line 18:

{{{#!wiki comment
[[http://www.mat.unical.it/aspcomp2011/files/participants/system-track-lp2sat2gminisat.zip|download]]
}}}

lp2sat2gminisat

Contents

  1. lp2sat2gminisat
    1. Association
    2. Description
    3. Participants

Association

Aalto University, Department of Information and Computer Science

Description

This is system is the same as lp2sat2+minisat up to the following step:

  • lp2lp2 (version 1.17) transforms a normal program so that all supported models are also stable. The translation is analogous to that produced by lp2diff for SMT solvers but integers are encoded as vectors of atoms.

Here we use the command line option -g of lp2lp2 which adds strong GLOBAL ranking constraints to the program.

Participants

  • Tomi Janhunen
  • Ilkka Niemelä

ASP Competition 2011: Participants/Aalto_lp2sat2gminisat (last edited 2011-05-23 08:01:56 by CarmenSantoro)