Twenty-Ninth AAAI Conference on Artificial Intelligence
Event name
Twenty-Ninth AAAI Conference on Artificial Intelligence
Start date
25-01-2015
End date
30-01-2015
Location
Austin, Texas, USA
Country
Event format Veranstaltungsformat
On Site
Date issued
Results 1-3 of 3 (Search time: 0.003 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Balabanov, Valeriy ; Jiang, Jie-Hong R. ; Janota, Mikolás ; Widl, Magdalena ; Bonet, Blai ; Koenig, Sven | Efficient Extraction of QBF (Counter)models from Long-Distance Resolution Proofs | Konferenzbeitrag Inproceedings  | 2015 | |
| 2 | Elkind, Edith ; Faliszewski, Piotr ; Lackner, Martin ; Obraztsova, Svetlana ; Bonet, Blai ; Koenig, Sven | The Complexity of Recognizing Incomplete Single-Crossing Preferences | Konferenzbeitrag Inproceedings | 2015 | |
| 3 | Kronegger, Martin ; Pfandler, Andreas ; Ordyniak, Sebastian ; Bonet, Blai ; Koenig, Sven | Variable-Deletion Backdoors to Planning | Konferenzbeitrag Inproceedings | 2015 |