IJCAI 2021 - 30th International Joint Conference on Artificial Intelligence

View Statistics Email Alert RSS Feed

Description

Event name
IJCAI 2021 - 30th International Joint Conference on Artificial Intelligence
 
Event type
Event for scientific audience
 
Start date
19-08-2021
End date
27-08-2021
 
Location
Montreal, Canada
Country
Canada
 
Event format Veranstaltungsformat
Online

Publications Publikationen


Filter:
Author:  Szeider, Stefan

Results 1-2 of 2 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Schidler, Andre ; Szeider, Stefan Computing Optimal Hypertree Decompositions with SATKonferenzbeitrag Inproceedings 2021
2Peitl, Tomáš ; Szeider, Stefan Finding the Hardest Formulas for Resolution (Extended Abstract)Konferenzbeitrag Inproceedings 2021