SAT modulo Graphs: Acyclicity (2014)
AUTHORS:
Gebser Martin
,
Janhunen Tomi
,
Rintanen Jussi
BOOKTITLE:
Proceedings of the 14th European Conference on Logics in Artificial Intelligence (JELIA 2014)
SERIES:
Lecture Notes in Artificial Intelligence
VOLUME:
8761
PAGES:
137-151
PDF:
pdf/GebserJR14jelia.pdf
@inproceedings{ GebserJR14jelia, author = "Gebser, Martin and Janhunen, Tomi and Rintanen, Jussi", publisher = "Springer-Verlag", responsibleauthor = "Gebser, Martin and Janhunen, Tomi and Rintanen, Jussi", language = "eng", title = "{SAT} modulo Graphs: Acyclicity", series = "Lecture Notes in Artificial Intelligence", booktitle = "Proceedings of the 14th European Conference on Logics in Artificial Intelligence (JELIA 2014)", year = "2014", isbn = "978-3-319-11557-3", flags = "COIN HIIT public TRITON", volume = "8761", juforank = "1", il = "no", eventdetails = "European Conference on Logics in Artificial Intelligence, JELIA 2014, 24-26 September, Funchal, Madeira, Portugal", pdf = "GebserJR14jelia.pdf", unitcode = "T306-99, T312-1", kay = "NA", impactfactor = "A4", pages = "137-151" }