Answer Set Solver Backdoors (2014)
AUTHORS:
Oikarinen Emilia , Järvisalo Matti
BOOKTITLE:
VOLUME:
8761
SERIES:
Lecture Notes in Artificial Intelligence
PAGES:
674-683
INTERNAL PDF:
http://research.ics.aalto.fi/publications/bibdb2012/internal_pdfs/OikarinenJ_jelia2014.pdf
@inproceedings{ OikarinenJ:JELIA2014_eoikarin, editor = "Ferme, Eduardo and Leite, Jo{\~a}o", author = {Oikarinen, Emilia and J\"arvisalo, Matti}, volume = "8761", publisher = "Springer", impactfactor = "A4", isbn = "978-3-319-11557-3", language = "eng", title = "Answer Set Solver Backdoors", series = "Lecture Notes in Artificial Intelligence", booktitle = "14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings", flags = "COIN HIIT", responsibleauthor = "Emilia Oikarinen", juforank = "1", il = "no", eventdetails = "European Conference on Logics in Artificial Intelligence, JELIA 2014, 24-26 september, Madeira, Portugal", year = "2014", internalpdf = "OikarinenJ_jelia2014.pdf", unitcode = "T306-99,T312-1", kay = "NA", country = "Germany", pages = "674-683" }