Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence
 
Publisher Herausgeber
IJCAI
 

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