#acl EditorsGroup:read,write,delete,revert,admin All:read = claspD-2 = == 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: 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 [[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.