SAT modulo Graphs: Acyclicity

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

21 Citations (Scopus)

Original language	English
Title of host publication	European Conference on Logics in Artificial Intelligence, JELIA 2014, 24-26 September, Funchal, Madeira, Portugal
Pages	137-151
Publication status	Published - 2014
MoE publication type	A4 Article in a conference publication

Cite this

@inproceedings{59e1e7f1f06d45458d7128489b043fb4,

title = "SAT modulo Graphs: Acyclicity",

author = "Martin Gebser and Tomi Janhunen and Jussi Rintanen",

note = "VK: triton coin hiit",

year = "2014",

language = "English",

isbn = "978-3-319-11557-3",

pages = "137--151",

booktitle = "European Conference on Logics in Artificial Intelligence, JELIA 2014, 24-26 September, Funchal, Madeira, Portugal",

}