welcome: please sign in

You can't save spelling words.

Clear message
location: Participants / aclasp

Aclasp

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.

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