@misc{LoefflerLiuHofstedt2020, author = {Sven L{\"o}ffler and Ke Liu and Petra Hofstedt}, title = {The Regularization of Small Sub-Constraint Satisfaction Problems}, booktitle = {Pre-proceedings of the DECLARE 2019 Conference}, editor = {Salvador Abreu and Petra Hofstedt and Ulrich John and Herbert Kuchen and Dietmar Seipel}, url = {https://arxiv.org/pdf/1908.05907.pdf}, institution = {FG Programmiersprachen und Compilerbau}, type = {conferenceobject_ref}, pages = {7}, year = {2020}, }