TY - GEN A1 - Löffler, Sven A1 - Liu, Ke A1 - Hofstedt, Petra A2 - John, Ulrich A2 - Hofstedt, Petra A2 - Wolf, Armin T1 - Detecting Higly Overlapping Parts in Constraint Satisfaction Problems for Speed-Up T2 - Deklarative Ansätze zur Künstlichen Intelligenz – punktuelle Beiträge - Post-Proceedings des 32. Workshops für (Constraint) Logische Programmierung KW - Constraint Programming Y1 - 2020 UR - https://opus4.kobv.de/opus4-UBICO/frontdoor/index/index/docId/24954 UR - http://wi.hwtk.de/WLP2018/Papers/DeklarativeKI_W(C)LP2018_PostProceedings.pdf SP - 19 EP - 24 PB - Hochschule für Wirtschaft, Technik und Kultur (htwk) CY - Berlin ER -