TY - GEN A1 - Löffler, Sven A1 - Liu, Ke A1 - Hofstedt, Petra A2 - Hofstedt, Petra A2 - Abreu, Salvador A2 - John, Ulrich A2 - Kuchen, Herbert A2 - Seipel, Dietmar T1 - The Regularization of Small Sub-Constraint Satisfaction Problems T2 - Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Revised Selected Papers KW - Constraint Programming Y1 - 2020 UR - https://opus4.kobv.de/opus4-UBICO/frontdoor/index/index/docId/26416 SN - 978-3-030-46713-5 SN - 978-3-030-46714-2 SN - 0302-9743 SN - 1611-3349 SP - 106 EP - 115 PB - Springer CY - Cham ER -