@misc{LoefflerLiuHofstedt2020, author = {Sven L{\"o}ffler and Ke Liu and Petra Hofstedt}, title = {Detecting Higly Overlapping Parts in Constraint Satisfaction Problems for Speed-Up}, booktitle = {Deklarative Ans{\"a}tze zur K{\"u}nstlichen Intelligenz - punktuelle Beitr{\"a}ge - Post-Proceedings des 32. Workshops f{\"u}r (Constraint) Logische Programmierung}, editor = {Ulrich John and Petra Hofstedt and Armin Wolf}, url = {http://wi.hwtk.de/WLP2018/Papers/DeklarativeKI_W(C)LP2018_PostProceedings.pdf}, institution = {FG Programmiersprachen und Compilerbau}, type = {conferenceobject_ref}, pages = {19 -- 24}, year = {2020}, }