Computing secure sets in graphs using answer set programming

Michael Abseher, Bernhard Bliem, Günther Charwat, Frederico Dusberger, Stefan Woltran. Computing secure sets in graphs using answer set programming. Journal of Logic and Computation, 30(4):837-862, 2020. [doi]

Abstract

Abstract is missing.