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 |
SAT modulo Graphs: Acyclicity
Martin Gebser, Tomi Janhunen, Jussi Rintanen
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
20
Citations
(Scopus)