SAT modulo Graphs: Acyclicity

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu

36 Sitaatiot (Scopus)

Alkuperäiskieli	Englanti
Otsikko	European Conference on Logics in Artificial Intelligence, JELIA 2014, 24-26 September, Funchal, Madeira, Portugal
Kustantaja	Springer
Sivut	137-151
ISBN (painettu)	978-3-319-11557-3
Tila	Julkaistu - 2014
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisussa

Siteeraa tätä

@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",

publisher = "Springer",

address = "Germany",

}

TY - GEN

T1 - SAT modulo Graphs: Acyclicity

AU - Gebser, Martin

AU - Janhunen, Tomi

AU - Rintanen, Jussi

N1 - VK: triton coin hiit

PY - 2014

Y1 - 2014

M3 - Conference article in proceedings

SN - 978-3-319-11557-3

SP - 137

EP - 151

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

PB - Springer

ER -