#acl EditorsGroup:read,write,delete,revert,admin All:read

= 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 [[http://www.cs.uni-potsdam.de/claspD/|URL]].  
 * Reference [[http://www.cs.uni-potsdam.de/wv/bibtex/gekasc13a.bib|URL]]
 * M. Gebser, B. Kaufmann, T. Schaub. ''Advanced Conflict-Driven Disjunctive Answer Set Solving'', IJCAI 2013, to appear.