Computing secure sets in graphs using answer set programming

Abseher, Michael; Bliem, Bernhard; Charwat, Günther; Dusberger, Frederico; Woltran, Stefan

doi:10.1093/logcom/exv060

by Michael Abseher, Bernhard Bliem, Günther Charwat, Frederico Dusberger, Stefan Woltran

Reference:

Computing secure sets in graphs using answer set programmingMichael Abseher, Bernhard Bliem, Günther Charwat, Frederico Dusberger, Stefan WoltranJournal of Logic and Computation, 2015.

Bibtex Entry:

@article{abseher_15b,
author = {Michael Abseher and Bernhard Bliem and G\"unther Charwat and Frederico Dusberger and Stefan Woltran}, 
title = {Computing secure sets in graphs using answer set programming},
year = {2015}, 
doi = {10.1093/logcom/exv060}, 
url = {http://logcom.oxfordjournals.org/content/early/2015/08/31/logcom.exv060.full.pdf}, 
journal = {Journal of Logic and Computation} 
}