Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence
 

Publications Publikationen

Filter:
Date Issued:  [2000 TO 2024]

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

PreviewAuthor(s)TitleTypeIssue Date
1Bova, Simone Maria SDDs Are Exponentially More Succinct than OBDDsKonferenzbeitrag Inproceedings 2016
2Ganian, Robert ; Ordyniak, Sebastian The Complexity Landscape of Decompositional Parameters for ILPKonferenzbeitrag Inproceedings 2016
3Eiben, Eduard ; Ganian, Robert ; Ordyniak, Sebastian Using Decomposition-Parameters for QBF: Mind the Prefix!Konferenzbeitrag Inproceedings 2016