no code implementations • 24 Jul 2019 • Mario Alviano, Carmine Dodaro, Johannes K. Fichte, Markus Hecher, Tobias Philipp, Jakob Rath
Verifying whether a claimed answer set is formally a correct answer set of the program can be decided in polynomial time for (normal) programs.