|
Size: 1042
Comment:
|
← Revision 7 as of 2011-07-05 10:25:27 ⇥
Size: 1165
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 |
| Line 18: | Line 18: |
| Since the modified restart-strategy is only implemented in the “default” clasp, only a subset of the problems was use. | Since the modified restart-strategy is only implemented in the “default” clasp, only a subset of the problems was faced. {{{#!wiki comment [[http://www.mat.unical.it/aspcomp2011/files/participants/m&s-track-Aclasp.zip|download]] }}} |
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
- 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 faced.