welcome: please sign in
location: Diff for "Participants/Aalto_lp2sat2lminisat"
Differences between revisions 1 and 2
⇤ ← Revision 1 as of 2011-05-18 20:30:11 →
Size: 670
Editor: CarmenSantoro
Comment:
← Revision 2 as of 2011-05-22 08:18:56 → ⇥
Size: 674
Editor: FrancescoCalimeri
Comment:
Deletions are marked like this. Additions are marked like this.
Line 1: Line 1:
#acl EditorsGroup:read,write,delete,revert,admin All: #acl EditorsGroup:read,write,delete,revert,admin All:read

lp2sat2lminisat

Contents

  1. lp2sat2lminisat
    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 -l of lp2lp2 which adds strong LOCAL ranking constraints to the program.

Participants

  • Tomi Janhunen
  • Ilkka Niemelä

ASP Competition 2011: Participants/Aalto_lp2sat2lminisat (last edited 2011-05-22 08:18:56 by FrancescoCalimeri)