Abstract Disjunctive Answer Set Solvers
Rémi Brochenin, Yuliya Lierler, Marco Maratea · Frontiers in artificial intelligence and applications · 2014
A fundamental task in answer set programming is to compute answer sets of logic programs. Answer set solvers are the programs that perform this task. The problem of deciding whether a disjunctive program has an answer set is ΣP2