Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) |
Publikationstyp | Zeitschriftenaufsatz |
Publikationsjahr | 2021 |
Sprache | Englisch |
Identifikator | ISSN: 1076-9757 KITopen-ID: 1000131098 |
Erschienen in | Journal of artificial intelligence research |
Verlag | AI Access Foundation |
Band | 70 |
Seiten | 1117–1181 |
Vorab online veröffentlicht am | 17.03.2021 |
Schlagwörter | satisfiability, planning, problem solving |
Nachgewiesen in | Scopus Dimensions |