TY - GEN A1 - Löffler, Sven A1 - Liu, Ke A1 - Hofstedt, Petra A2 - Schmid, Ute A2 - Klügl, Franziska A2 - Wolter, Diedrich T1 - Optimizing Constraint Satisfaction Problems by Regularization for the Sample Case of the Warehouse Location Problem T2 - KI 2020: Advances in Artificial Intelligence, 43rd German Conference on AI, Bamberg, Germany, September 21–25, 2020 KW - Constraint Programming KW - Reformulation Y1 - 2020 UR - https://opus4.kobv.de/opus4-UBICO/frontdoor/index/index/docId/26417 SN - 978-3-030-58284-5 SN - 978-3-030-58285-2 SN - 0302-9743 SN - 1611-3349 SP - 297 EP - 304 PB - Springer CY - Cham ER -