welcome: please sign in

Upload page content

You can upload content for the page named below. If you change the page name, you can also upload content for another page. If the page name is empty, we derive the page name from the file name.

File to load page content from
Page name
Comment

location: Participants / 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

System Settings

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