MetadatenAuthor: | Sven Löffler, Ke LiuORCiD, Petra HofstedtGND |
---|
DOI: | https://doi.org/10.1007/978-3-030-58285-2_26 |
---|
ISBN: | 978-3-030-58284-5 |
---|
ISBN: | 978-3-030-58285-2 |
---|
ISSN: | 0302-9743 |
---|
ISSN: | 1611-3349 |
---|
Title of the source (English): | KI 2020: Advances in Artificial Intelligence, 43rd German Conference on AI, Bamberg, Germany, September 21–25, 2020 |
---|
Publisher: | Springer |
---|
Place of publication: | Cham |
---|
Editor: | Ute SchmidORCiD, Franziska KlüglORCiD, Diedrich Wolter |
---|
Document Type: | Conference publication peer-reviewed |
---|
Language: | English |
---|
Year of publication: | 2020 |
---|
Tag: | Constraint Programming; Reformulation |
---|
First Page: | 297 |
---|
Last Page: | 304 |
---|
Series ; volume number: | Lecture Notes in Computer Science LNCS ; 12325 |
---|
Faculty/Chair: | Fakultät 1 MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik / FG Programmiersprachen und Compilerbau |
---|