welcome: please sign in
location: Diff for "Participants\claspD-2-mt"
Differences between revisions 1 and 2
⇤ ← Revision 1 as of 2013-05-23 21:37:49 →
Size: 997
Editor: FrancescoCalimeri
Comment:
← Revision 2 as of 2013-05-23 21:41:09 → ⇥
Size: 1120
Editor: FrancescoCalimeri
Comment:
Deletions are marked like this. Additions are marked like this.
Line 31: Line 31:
 * M. Gebser, B. Kaufmann, T. Schaub. ''Advanced Conflict-Driven Disjunctive Answer Set Solving'', IJCAI 2013, to appear.

claspD-2-mt

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-3.0.5
  • Encodings: gringo-3
  • Num Threads: 6
  • Mode: Portfolio (given in portfolio.txt)
  • Options: --backprop --sat-prepro=20,50,80,50,1,2000000 --trans-ext=dynamic

References

  • Participant URL.

  • Reference URL

  • M. Gebser, B. Kaufmann, T. Schaub. Advanced Conflict-Driven Disjunctive Answer Set Solving, IJCAI 2013, to appear.

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