Answer Set Solver Backdoors (2014)
AUTHORS:
Oikarinen Emilia
,
Järvisalo Matti
BOOKTITLE:
14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings
SERIES:
Lecture Notes in Artificial Intelligence
VOLUME:
8761
PAGES:
674-683
INTERNALPDF:
internalpdf/OikarinenJ_jelia2014.pdf
@inproceedings{ OikarinenJ:JELIA2014, editor = "Ferme, Eduardo and Leite, Jo{\~a}o", author = {Oikarinen, Emilia and J\"arvisalo, Matti}, publisher = "Springer", responsibleauthor = "Emilia Oikarinen", 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", year = "2014", isbn = "978-3-319-11557-3", volume = "8761", juforank = "1", il = "no", eventdetails = "European Conference on Logics in Artificial Intelligence, JELIA 2014, 24-26 september, Madeira, Portugal", country = "Germany", internalpdf = "OikarinenJ_jelia2014.pdf", unitcode = "T306-99,T312-1", kay = "NA", impactfactor = "A4", pages = "674-683", flags = "COIN HIIT" }