TitleOptimal Stable Model Search: Algorithms and Implementation. Journal of Logic and Computation
Publication TypeJournal Article
Year of Publication2015
AuthorsAlviano M., Dodaro C., Marques-Silva J, Ricca F.
JournalJournal of Logic and Computation
Date Published2015
URLhttp://logcom.oxfordjournals.org/content/early/2015/08/31/logcom.exv061.abstract