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

Publications Publikationen

Results 1-3 of 3 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Balabanov, Valeriy ; Jiang, Jie-Hong R. ; Janota, Mikolás ; Widl, Magdalena Efficient Extraction of QBF (Counter)models from Long-Distance Resolution ProofsKonferenzbeitrag Inproceedings 2015
2Elkind, Edith ; Faliszewski, Piotr ; Lackner, Martin ; Obraztsova, Svetlana The Complexity of Recognizing Incomplete Single-Crossing PreferencesKonferenzbeitrag Inproceedings 2015
3Kronegger, Martin ; Pfandler, Andreas ; Ordyniak, Sebastian Variable-Deletion Backdoors to PlanningKonferenzbeitrag Inproceedings 2015