welcome: please sign in
location: Diff for "Participants\claspD-2-asp-core2"
Differences between revisions 1 and 2
⇤ ← Revision 1 as of 2013-05-23 21:32:26 →
Size: 1224
Editor: FrancescoCalimeri
Comment:
← Revision 2 as of 2013-05-23 21:34:17 → ⇥
Size: 1160
Editor: FrancescoCalimeri
Comment:
Deletions are marked like this. Additions are marked like this.
Line 32: Line 32:
 * Participant [[http://www.cs.uni-potsdam.de/claspD/|URL]]. (fill your URL in between '[' and '|'. Leave the rest unchanged)  * Participant [[http://www.cs.uni-potsdam.de/claspD/|URL]].

claspD-2 (asp-core2)

Team

  • Benjamin Kaufmann (University of Potsdam)
  • Torsten Schaub (University of Potsdam)
  • Marius Schneider (University of Potsdam)
  • Martin Gebser (University of Potsdam)
  • Roland Kaminski (University of Potsdam)

Description

claspD-2 is an extension of clasp that allows for solving disjunctive logic programs using a new approach to disjunctive ASP solving that aims at an equitable interplay between "generating" and "testing" solver units.

System Settings

  • Version: clasp-2.2.0-asp13 (Rev. 6703)
  • Grounder: gringo-4
  • Encodings: asp-core2
  • Num Threads: 1
  • Mode: Sequential
  • Options: --opt-heu=2 --restart-on-model --backprop --partial --disj-true
    • --save-p=102 --del-init-r=300,24000 --deletion=2,50,6 --del-cfl=+,2000,500 --del-glue=3,0 --config=jumpy --sat-prepro=20,50,80,50,1,2000000

References

  • Participant URL.

  • Reference URL

ASP Competition 2013: Participants\claspD-2-asp-core2 (last edited 2013-05-23 21:41:21 by FrancescoCalimeri)