welcome: please sign in
location: Diff for "Participants/aclasp"
Differences between revisions 3 and 4
⇤ ← Revision 3 as of 2011-05-17 10:53:59 →
Size: 1042
Editor: CarmenSantoro
Comment:
← Revision 4 as of 2011-05-17 13:14:37 → ⇥
Size: 1042
Editor: CarmenSantoro
Comment:
Deletions are marked like this. Additions are marked like this.
Line 2: Line 2:
= aclasp = = Aclasp =

Aclasp

Contents

  1. Aclasp
    1. Association
    2. Description
    3. Participants
    4. System Settings

Association

All members of this team are affiliated with the University of Potsdam, Germany.

Description

“Aclasp” is based upon the solver “clasp” from the Potassco-project (informations avaiable at http://potassco.sourceforge.net). It uses a di erent restart-strategy which depends on the average decision-level on which conflicts occured. Sources for aclasp are avaiable at https://potassco.svn.sourceforge.net/svnroot/potassco/branches/adaptive-restarts/adapt-to-avgdl The used grounder “gringo” is also from the Potassco-project and accessible at http://potassco.sourceforge.net. The used encodings are the same as the ones for the solver “clasp” which also participates this year.

Participants

  • Hannes Schröder, student in the Potassco-group

System Settings

Since the modified restart-strategy is only implemented in the “default” clasp, only a subset of the problems was use.

ASP Competition 2011: Participants/aclasp (last edited 2011-07-05 10:25:27 by GiovambattistaIanni)