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 URL.

• Reference URL

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