Sven Löffler, Ke Liu 0006, Petra Hofstedt. The Regularization of Small Sub-Constraint Satisfaction Problems. In Petra Hofstedt, Salvador Abreu, Ulrich John, Herbert Kuchen, Dietmar Seipel, editors, Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9-12, 2019, Revised Selected Papers. Volume 12057 of Lecture Notes in Computer Science, pages 106-115, Springer, 2019. [doi]
Abstract is missing.